Stable homotopy hypothesis in the Tamsamani model
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.
Source author record
Simona Paoli
Simona Paoli appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
13works
2topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
13 published item(s)
preprint2016arXiv
Homotopically discrete higher categorical structures
We introduce the notion of homotopically discrete n-fold category as an n-fold generalization of a groupoid with no non-trivial loops. We give two equivalent descriptions of this structure: in terms of a Segal-type model and in terms of iterated internal equivalence relations. We also show that homotopically discrete n-fold categories form an n-fold categorical model of 0-types.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Pseudo-functors modelling higher structures
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose strictification produces weakly globular n-fold categories.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Weakly globular N-fold categories as a model of weak N-categories
We study a new type of higher categorical structure, called weakly globular n-fold category, previously introduced by the author. We show that this structure is a model of weak n-categories by proving that it is suitably equivalent to the Tamsamani-Simpson model. We also introduce groupoidal weakly globular n-fold categories and show that they are algebraic models of n-types.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Weakly globular Tamsamani N-categories and their rigidification
We introduce a new class of higher categorical structures called weakly globular Tamsamani n-categories. These generalize the Tamsamani-Simpson model of higher categories by using the new paradigm of weak globularity to weaken higher categorical structures. We prove this new structure is suitably equivalent to a simpler one previously introduced by the author, called weakly globular n-fold categories.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Segal-type algebraic models of n-types
For each n\geq 1 we introduce two new Segal-type models of n-types of topological spaces: weakly globular n-fold groupoids, and a lax version of these. We show that any n-type can be represented up to homotopy by such models via an explicit algebraic fundamental n-fold groupoid functor. We compare these models to Tamsamani's weak n-groupoids, and extract from them a model for (k-1)connected n-types
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
The Weakly Globular Double Category of Fractions of a Category
This paper introduces the construction of a weakly globular double category of fractions for a category and studies its universal properties. It shows that this double category is locally small and considers a couple of concrete examples.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Bicategories and Weakly Globular Double Categories
This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the sub-2-category of groupoidal weakly globular double categories forms an algebraic model of homotopy 2-types.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
A Thomason Model Structure on the Category of Small n-fold Categories
We construct a cofibrantly generated Quillen model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak equivalence if and only if the diagonal of its n-fold nerve is a weak equivalence of simplicial sets. This is an n-fold analogue to Thomason's Quillen model structure on Cat. We introduce an n-fold Grothendieck construction for multisimplicial sets, and prove that it is a homotopy inverse to the n-fold nerve. As a consequence, we completely prove that the unit and counit of the adjunction between simplicial sets and n-fold categories are natural weak equivalences.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Two-track categories
We describe a 2-dimensional analogue of track categories, called two-track categories, and show that it can be used to model categories enriched in 2-type mapping spaces. We also define a Baues-Wirsching type cohomology theory for track categories, and explain how it can be used to classify two-track extensions of a track category D by a module over D.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Model Structures on the Category of Small Double Categories
In this paper we obtain several model structures on {\bf DblCat}, the category of small double categories. Our model structures have three sources. We first transfer across a categorification-nerve adjunction. Secondly, we view double categories as internal categories in {\bf Cat} and take as our weak equivalences various internal equivalences defined via Grothendieck topologies. Thirdly, {\bf DblCat} inherits a model structure as a category of algebras over a 2-monad. Some of these model structures coincide and the different points of view give us further results about cofibrant replacements and cofibrant objects. As part of this program we give explicit descriptions and discuss properties of free double categories, quotient double categories, colimits of double categories, several nerves, and horizontal categorification.
0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv
2-nerves for bicategories
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are bicategories and whose 1-cells are normal homomorphisms of bicategories, in such a way that the 2-nerve construction becomes a full embedding of NHom in the 2-category of simplicial objects in Cat. This embedding has a left biadjoint, and we characterize its image. The 2-nerve of a bicategory is always a weak 2-category in the sense of Tamsamani, and we show that NHom is biequivalent to a certain 2-category whose objects are Tamsamani weak 2-categories.
0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv
On the non-balanced property of the category of crossed modules in groups
An algebraic category $\mathcal{C}$ is called balanced if the cotriple cohomology of any object of $\mathcal{C}$ vanishes in positive dimensions on injective coefficient modules. Important examples of balanced and of non-balanced categories occur in the literature. In this paper we prove that the category of crossed modules in groups is non-balanced.
0 citations0 reviewsNo code linkedOpen access