3 citations · 7 across the 4 of their papers we have counts for
Showing 2005 · math.CTShow all
2 papers · 2 filters
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…