148 citations
- Centre National de la Recherche ScientifiqueFR2 papers
- GREYCFR2 papers
- Centre Hospitalier Universitaire de Caen NormandieFR1 paper
- École Nationale Supérieure d'Ingénieurs de CaenFR1 paper
- Implant Sciences (United States)US1 paper
- Institut de recherche mathématique de RennesFR1 paper
- Institut de Recherche sur la Fusion par confinement MagnétiqueFR1 paper
- Institute of Mathematical SciencesIN1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR1 paper
- Laboratoire de Mathématiques Blaise PascalFR1 paper
- Laboratoire de Mathématiques d'OrsayFR1 paper
Showing math.CTShow all
2 papers · 1 filter
math.CT2005
Explaining Gabriel-Zisman localization to the computer
Carlos T. Simpson
This 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…
math.CT2005★ 1 cited
Files for Gabriel-Zisman localization
Carlos T. Simpson
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 t…