activity
19962026
most citedOn the classification of rank two representations of quasiprojective fundamental groups

64 citations · 473 across the 56 of their papers we have counts for

collaborators
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…