2000 character limit reached
Groupoidal 2-quasi-categories and homotopy 2-types (2211.16896v1)
Published 30 Nov 2022 in math.CT and math.AT
Abstract: We define a notion of groupoidal 2-quasi-categories and show that they are the fibrant objects of a model structure on the category of $\Theta_2$-sets. We show that this model category is Quillen equivalent to the Kan-Quillen model category of simplicial sets and that 2-truncated groupoidal 2-quasi-categories are models for homotopy 2-types.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Collections
Sign up for free to add this paper to one or more collections.