3 citations · 7 across the 4 of their papers we have counts for
14 papers
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…
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…
Formalized proof, computation, and the construction problem in algebraic geometry
Carlos T. Simpson
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up t…
Asymptotics for general connections at infinity
Carlos T. Simpson
For a standard path of connections going to a generic point at infinity in the moduli space of connections on a compact Riemann surface, we show that the Laplace transform…
Some properties of the theory of n-categories
Carlos Simpson
Let denote the Dwyer-Kan localization of the category of weak n-categories divided by the n-equivalences. We propose a list of properties that this simplicial category is lik…
Calculating maps between n-categories
Carlos Simpson
We give an explicit way of calculating the set of homotopy classes of morphisms from a Tamsamani n-category A to another one B. This calculation uses a Reedy-cofibrant cosimplicial…