Files for Gabriel-Zisman localization

Simple item page
dc.creatorSimpson, Carlos T.
dc.date2005-06-23
dc.date.accessioned2026-07-07T05:21:05Z
dc.date.available2026-07-07T05:21:05Z
dc.descriptionThis 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.
dc.identifierhttps://arxiv.org/abs/math/0506470
dc.identifierhttp://arxiv.org/abs/math/0506470
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/75563
dc.subjectCategory Theory
dc.titleFiles for Gabriel-Zisman localization
dc.typetext

Files

Collections

arXiv