Files for Gabriel-Zisman localization
Category Theory
2007-05-23 v1
Abstract
This preprint contains the Coq proof files for Gabriel-Zisman localization, bundled with the source. The text of this preprint consists of the definitions and lemma statements of the main files, with proofs removed. See the other preprint ``Explaining GZ localization to the computer'' for explanation and discussion.
Cite
@article{arxiv.math/0506470,
title = {Files for Gabriel-Zisman localization},
author = {Carlos T. Simpson},
journal= {arXiv preprint arXiv:math/0506470},
year = {2007}
}