Explaining Gabriel-Zisman localization to the computer

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 explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof of GZ's Lemma 1.2, as well as the construction using calculus of fractions. The proof files are bundled with the other preprint "Files for GZ localization" posted simultaneously.
dc.identifierhttps://arxiv.org/abs/math/0506471
dc.identifierhttp://arxiv.org/abs/math/0506471
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/75564
dc.subjectCategory Theory
dc.subjectAlgebraic Geometry
dc.subjectLogic
dc.titleExplaining Gabriel-Zisman localization to the computer
dc.typetext

Files

Collections

arXiv