TY - RPRT TI - Explaining Gabriel-Zisman localization to the computer AU - Carlos T. Simpson PY - 2005 UR - https://arxiv.org/abs/math/0506471 ID - math/0506471 ER -