Victor Brittes | Searcharxiv

arXiv2024

Groupoidal and truncated $n$-quasi-categories

We define groupoidal and $(n+k)$-truncated $n$-quasi-categories, which are the translation to the world of $n$-quasi-categories of groupoidal and truncated $(\infty, n)$-$Θ$-spaces defined by Rezk. We show that these objects are the fibrant objects of model structures on the category of presheaves on $Θ_n$ obtained by localisation of Ara's model structure for $n$-quasi-categories. Furthermore, we prove that the inclusion $Δ\to Θ_n$ induces a Quillen equivalence between the model structure for groupoidal (resp. and $n$-truncated) $n$-quasi-categories and the Kan-Quillen model structure for spaces (resp. homotopy $n$-types) on simplicial sets. To get to these results, we also construct a cylinder object for $n$-quasi-categories.

math.CT↗

arXiv2022

Groupoidal 2-quasi-categories and homotopy 2-types

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 $Θ_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.

math.CT↗