BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Martina Rovelli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove the compatibility between the suspension construction and the complicial nerve of $ω$-categories. As a motivating application, we produce a Quillen pair between the models of $(\infty,n)$-categories given by Rezk's complete Segal $Θ_n$-spaces and Verity's $n$-complicial sets.
For most models of $(\infty,2)$-categories an embedding of the $\infty$-category of 2-categories into that of $(\infty,2)$-categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve embeddings induce equivalent functors, modulo change of model. We also show that all the nerve embeddings realize the $\infty$-category of 2-categories as the sub-$\infty$-category of $(\infty,2)$-categories that are local with respect to a certain class of maps.
The paper focuses on investigating how certain relations between strict $n$-categories are preserved in a particular implementation of $(\infty,n)$-categories, given by saturated $n$-complicial sets. In this model, we show that the $(\infty,n)$-categorical nerve of $n$-categories is homotopically compatible with $1$-categorical suspension and wedge. As an application, we show that certain pushouts encoding composition in $n$-categories are homotopy pushouts of saturated $n$-complicial sets.
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen bifunctor and a homotopical bifunctor, respectively.
We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models.
We give an explicit and purely combinatorial description of the Duskin nerve of any (r+1)-point suspension 2-category, and in particular of any 2-category belonging to Joyal's cell category Theta_2.
We consider the décalage construction $\operatorname{Dec}$ and its right adjoint $T$. These functors are induced on the category of simplicial objects valued in any bicomplete category $\mathcal{C}$ by the ordinal sum. We identify $T \operatorname{Dec}X$ with the path object $X^{Δ[1]}$ for any simplicial object $X$. We then use this formula to produce an explicit retracting homotopy for the unit $X\to T\operatorname{Dec}X$ of the adjunction $(\operatorname{Dec},T)$. When $\mathcal{C}$ is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in $\mathcal{C}$.
Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group. Moreover the morphisms of topological groups defined on the loop space of X generate all the bundles over X up to equivalence. In this paper, we show that the relationship between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to a classification of principal bundles with a fixed structure group. Such a resul clarifies the deep relation that exists between the theory of bundles, the classifying space construction and the loop space construction, which are very important in topological K-theory, group cohomology and homotopy theory.