Showing 1–21 of 21 results for author: Paoli, S

A study of Kock's fat Delta

Authors: Tom de Jong, Nicolai Kraus, Simona Paoli, Stiéphen Pradal

Abstract: Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock. We provide a comprehensive study of fat Delta via the theory of monads with arities, and use these results to show that fat Delta is a hypermoment category in the sense of C. Berger. Specifically, by proving that the free rela… ▽ More Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock. We provide a comprehensive study of fat Delta via the theory of monads with arities, and use these results to show that fat Delta is a hypermoment category in the sense of C. Berger. Specifically, by proving that the free relative semicategory monad is strongly cartesian and identifying a dense generator, the theory of monads with arities immediately gives rise to the nerve theorem. We characterise the essential image of the nerve via the Segal condition, and show that fat Delta possesses an active-inert factorisation system. Building on these results, we also establish an isomorphism between two presentations of fat Delta and show that it is a strongly unital and extensional hypermoment category. △ Less

Submitted 13 March, 2025; originally announced March 2025.

Comments: 34 pages. Comments are welcome

MSC Class: 18C15 18C20 (Primary) 18A32 18B05 (Secondary)

A Model for the André-Quillen Cohomology of an $(\infty,1)$-Category

Authors: David Blanc, Simona Paoli

Abstract: We describe a comonad on $n$-track categories, for each $n\geq 0$ yielding an explicit cosimplicial abelian group model for the André-Quillen cohomology of an $(\infty,1)$-category. We describe a comonad on $n$-track categories, for each $n\geq 0$ yielding an explicit cosimplicial abelian group model for the André-Quillen cohomology of an $(\infty,1)$-category. △ Less

Submitted 14 June, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: updated introduction

MSC Class: 55S45; 18G50; 18B40

Weakly globular double categories and weak units

Authors: Simona Paoli

Abstract: Weakly globular double categories are a model of weak $2$-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani $2$-categories. Fair $2$-categories, introduced by J. Kock, model weak $2$-categories with strictly associative compositions and weak unit laws. In this paper we establish a direct comparison between weakly globular double categorie… ▽ More Weakly globular double categories are a model of weak $2$-categories based on the notion of weak globularity, and they are known to be suitably equivalent to Tamsamani $2$-categories. Fair $2$-categories, introduced by J. Kock, model weak $2$-categories with strictly associative compositions and weak unit laws. In this paper we establish a direct comparison between weakly globular double categories and fair $2$-categories and prove they are equivalent after localisation with respect to the $2$-equivalences. This comparison sheds new light on weakly globular double categories as encoding a strictly associative, though not strictly unital, composition, as well as the category of weak units via the weak globularity condition. △ Less

Submitted 14 March, 2025; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: Improved exposition in proposition 9.1 and some other minor changes

MSC Class: 18D05; 18G30

Stable homotopy hypothesis in the Tamsamani model

Authors: Lyne Moser, Viktoriya Ozornova, Simona Paoli, Maru Sarazola, Paula Verdugo

Abstract: 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. 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. △ Less

Submitted 13 June, 2020; v1 submitted 15 January, 2020; originally announced January 2020.

MSC Class: 18B40; 18D05; 18D10; 19D23; 55P10; 55P42

Comonad Cohomology of Track Categories

Authors: David Blanc, Simona Paoli

Abstract: We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to dimension shift, with its Dwyer-Kan-Smith cohomology, therefore obtaining an algebraic formulation of the latter. We also specialize our results to the case where th… ▽ More We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to dimension shift, with its Dwyer-Kan-Smith cohomology, therefore obtaining an algebraic formulation of the latter. We also specialize our results to the case where the track category is a $2$-groupoid. △ Less

Submitted 14 April, 2019; v1 submitted 15 January, 2018; originally announced January 2018.

Comments: The paper has been re-written more concisely to improve readability. To appear in Journal of Homotopy and Related Structures

MSC Class: 55S45; 18G50; 18B40

Segal-type models of higher categories

Authors: Simona Paoli

Abstract: Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy theory, algebraic geometry and algebra, mathematical physics, to encompass important applications in logic, computer science and beyond. Higher categories provi… ▽ More Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy theory, algebraic geometry and algebra, mathematical physics, to encompass important applications in logic, computer science and beyond. Higher categories provide a unifying language whose greatest strength lies in its ability to bridge between diverse areas and uncover novel applications. In this foundational work we introduce a new approach to higher categories. It builds upon the theory of iterated internal categories, one of the simplest possible higher categorical structures available, by adopting a novel and remarkably simple "weak globularity" postulate and demonstrating that the resulting model provides a fully general theory of weak n-categories. The latter are among the most complex of the higher structures, and are crucial for applications. We show that this new model of "weakly globular n-fold categories" is suitably equivalent to the well studied model of weak n-categories due to Tamsamani and Simpson. △ Less

Submitted 6 July, 2017; originally announced July 2017.

Comments: 310 pages, 31 figures. This work contains some material from my preprints arXiv:1605.05112, arXiv:1605.06835, arXiv:1607.04870, arXiv:1609.04072 but the material from them has been changed and improved

MSC Class: 18D05; 55U10

Weakly globular N-fold categories as a model of weak N-categories

Authors: Simona Paoli

Abstract: 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. 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. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Comments: arXiv admin note: substantial text overlap with arXiv:1607.04870

MSC Class: 18Dxx

Weakly globular Tamsamani N-categories and their rigidification

Authors: Simona Paoli

Abstract: 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 categor… ▽ More 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. △ Less

Submitted 13 September, 2016; v1 submitted 17 July, 2016; originally announced July 2016.

Comments: changes made to theorems 7.3 and 7.4. arXiv admin note: text overlap with arXiv:1605.06835

MSC Class: 18Dxx

Pseudo-functors modelling higher structures

Authors: Simona Paoli

Abstract: 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. 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. △ Less

Submitted 22 May, 2016; originally announced May 2016.

Comments: arXiv admin note: text overlap with arXiv:1605.05112

MSC Class: 18Dxx

Homotopically discrete higher categorical structures

Authors: Simona Paoli

Abstract: 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. 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. △ Less

Submitted 17 May, 2016; originally announced May 2016.

Comments: 19 pages

MSC Class: 18Dxx

The Weakly Globular Double Category of Fractions of a Category

Authors: Simona Paoli, Dorette Pronk

Abstract: 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. 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. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Comments: 73 pages. arXiv admin note: substantial text overlap with arXiv:1210.4056

MSC Class: 18D05; 18E35; 18G55; 18G30

Bicategories and Weakly Globular Double Categories

Authors: Simona Paoli, Dorette Pronk

Abstract: 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. 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. △ Less

Submitted 27 March, 2013; v1 submitted 15 October, 2012; originally announced October 2012.

Comments: 78 pages

MSC Class: 18D05; 18E35; 18G55; 18G30

Segal-type algebraic models of n-types

Authors: David Blanc, Simona Paoli

Abstract: 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-type… ▽ More 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 △ Less

Submitted 17 June, 2014; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: Added index of terminology and notation. Minor amendments and added details is some definitions and proofs. Some typos corrected

MSC Class: 55S45; 18G50; 18B40

Journal ref: Algebr. Geom. Topol. 14 (2014) 3419-3491

Two-track categories

Authors: David Blanc, Simona Paoli

Abstract: 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. 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. △ Less

Submitted 17 February, 2010; originally announced February 2010.

MSC Class: 18G55

A Thomason Model Structure on the Category of Small n-fold Categories

Authors: Thomas M. Fiore, Simona Paoli

Abstract: 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 str… ▽ More 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. △ Less

Submitted 1 April, 2010; v1 submitted 29 August, 2008; originally announced August 2008.

Comments: More details added. 23 new pages for a total of 77 pages.

MSC Class: 18D05; 18G55 (Primary); 55U10; 55P99 (Secondary)

Journal ref: Algebr. Geom. Topol. 10 (2010) 1933-2008

Model Structures on the Category of Small Double Categories

Authors: Thomas M. Fiore, Simona Paoli, Dorette A. Pronk

Abstract: 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 D… ▽ More 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. △ Less

Submitted 12 June, 2008; v1 submitted 3 November, 2007; originally announced November 2007.

Comments: 103 pages. Included Quillen adjunctions with Cat, improved characterization of flexible double categories, proved 2-cocompleteness of DblCat_v, proved horizontal nerve is 2-coskeletal, cut double categorification for a future article, removed identity squares from double derivation schemes, improved counterexample to Reedy transfer.

MSC Class: 18D05; 18G55 (Primary) 55U10; 55P99 (Secondary)

Journal ref: Algebr. Geom. Topol. 8 (2008) 1855-1959

Semistrict Tamsamani n-groupoids and connected n-types

Authors: Simona Paoli

Abstract: Tamsamani's weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tasmamani's weak n-groupoids and cat^(n-1)-groups as models of connected n-types. Tamsamani's weak n-groupoids are known to model n-types. In this paper we show that every Tamsamani weak n-groupoid representing a connected n-type is equivalent in a suitable way to a semistrict one. We obtain this result by comparing Tasmamani's weak n-groupoids and cat^(n-1)-groups as models of connected n-types. △ Less

Submitted 3 October, 2007; v1 submitted 23 January, 2007; originally announced January 2007.

Comments: 77 pages. The paper has undergone major revision from the previous version to improve its presentation. There have been various structural changes, background and informal discussion sections added, and some improvements in the proofs

MSC Class: 55P15; 18D05; 18G50

Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids

Authors: Simona Paoli

Abstract: Homotopy 3-types can be modelled algebraically by Tamsamani's weak 3-groupoids as well as, in the path-connected case, by cat^2-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using the Tamsamani's model. Both are then related to Gray groupoids. Homotopy 3-types can be modelled algebraically by Tamsamani's weak 3-groupoids as well as, in the path-connected case, by cat^2-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using the Tamsamani's model. Both are then related to Gray groupoids. △ Less

Submitted 13 July, 2006; originally announced July 2006.

Comments: 21 pages

MSC Class: 55P15 (18D05; 18G50)

2-nerves for bicategories

Authors: Stephen Lack, Simona Paoli

Abstract: 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… ▽ More 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. △ Less

Submitted 11 July, 2006; originally announced July 2006.

Comments: 23 pages

MSC Class: 18D05; 18G30

Journal ref: K-theory, 38(2):153-175, 2008

On the non-balanced property of the category of crossed modules in groups

Authors: Simona Paoli

Abstract: 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. 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. △ Less

Submitted 24 September, 2003; originally announced September 2003.

Comments: 12 pages, LaTeX2e, Paul Taylor's diagram package

MSC Class: 18G50; 18C15

(Co)homology of crossed modules with coefficients in a $π_1$-module

Authors: Simona Paoli

Abstract: We define a cotriple (co)homology of crossed modules with coefficients in a $π_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with the (co)homology of the classifying space of a crossed module and with the cohomology of groups with operators. An example and an application are given. We define a cotriple (co)homology of crossed modules with coefficients in a $π_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with the (co)homology of the classifying space of a crossed module and with the cohomology of groups with operators. An example and an application are given. △ Less

Submitted 24 July, 2003; v1 submitted 4 June, 2003; originally announced June 2003.

Comments: 32 pages, LaTeX2e, Paul Taylor's diagram package; added reference. Accepted for publication by Homology, Homotopy and Applications

MSC Class: 18G50; 18G30