3 citations · 7 across the 4 of their papers we have counts for
6 papers · 1 filter
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…
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…
Homotopy types of strict 3-groupoids
Carlos Simpson
We look at strict -groupoids and show that if is any realization functor from the category of strict -groupoids to the category of spaces satisfying a minimal property…
On the Breen-Baez-Dolan stabilization hypothesis for Tamsamani's weak n-categories
Carlos Simpson
We show that if , then a k-connected weak n-category can be ``delooped'' to a k+1-connected weak n+1-category with . This is the essential part…