Showing 1–13 of 13 results for author: Cegarra, A

Higher cohomologies of commutative monoids

Authors: Maria Calvo-Cervera, Antonio M. Cegarra

Abstract: Extending Eilenberg-Mac Lane's methods, higher level cohomologies for commutative monoids are introduced and studied. Relationships with pre-existing theories (Leech, Grillet, ...) are stated. The paper includes a cohomological classification for symmetric monoidal groupoids and several computations for cyclic monoids. Extending Eilenberg-Mac Lane's methods, higher level cohomologies for commutative monoids are introduced and studied. Relationships with pre-existing theories (Leech, Grillet, ...) are stated. The paper includes a cohomological classification for symmetric monoidal groupoids and several computations for cyclic monoids. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Comments: 37 pages

MSC Class: 20M14; 20M50; 18B40; 18D10

Computability of the (co)homology of cyclic monoids

Authors: María Calvo-Cervera, Antonio M. Cegarra

Abstract: Leech's (co)homology groups of finite cyclic monoids are computed. Leech's (co)homology groups of finite cyclic monoids are computed. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Comments: 14 pages

MSC Class: 20M50

Homotopy colimits of 2-functors

Authors: A. M. Cegarra, B. A. Heredia

Abstract: Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy… ▽ More Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy Colimit Theorem (Thomason), Theorems A and B (Quillen), or the Homotopy Cofinality Theorem (Hirschhorn). △ Less

Submitted 23 April, 2015; originally announced April 2015.

Comments: 32 pages

MSC Class: 18D05; 55P15; 18F25

On the third cohomology group of commutative monoids

Authors: María Calvo-Cervera, Antonio M. Cegarra, Benjamín A. Heredia

Abstract: We interpret Grillet's symmetric thrid cohomology classes of commutative monoids in terms of strictly symmetric monoidal abelian groupoids. We state and prove a classification result that generalizes the well-known one for strictly commutative Picard categories by Deligne and Fröhlich and Wall, and Sinh. We interpret Grillet's symmetric thrid cohomology classes of commutative monoids in terms of strictly symmetric monoidal abelian groupoids. We state and prove a classification result that generalizes the well-known one for strictly commutative Picard categories by Deligne and Fröhlich and Wall, and Sinh. △ Less

Submitted 16 February, 2015; v1 submitted 26 June, 2014; originally announced June 2014.

Comments: 18 pages

MSC Class: 18D10; 20M50; 18G55

Bicategorical homotopy pullbacks

Authors: A. M. Cegarra, B. A. Heredia, J. Remedios

Abstract: The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between Bénabou's bicategories and the homotopy types of their classifying spaces. Mainly, we state and prove an extension of Quillen's Theorem B by showing, under reasonable necessary c… ▽ More The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between Bénabou's bicategories and the homotopy types of their classifying spaces. Mainly, we state and prove an extension of Quillen's Theorem B by showing, under reasonable necessary conditions, a bicategory-theoretical interpretation of the homotopy-fibre product of the continuous maps induced on classifying spaces by a diagram of bicategories $\mathcal{A}\to\mathcal{B}\leftarrow \mathcal{A}'$. Applications are given for the study of homotopy pullbacks of monoidal categories and of crossed modules. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Comments: 50 pages

MSC Class: 18D05; 18D10; 55P15; 55R65

Bicategorical homotopy fiber sequences

Authors: M. Calvo, A. M. Cegarra, B. A. Heredia

Abstract: Small Bénabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the relationship between bicategories and the homotopy types of their classifying spaces. Mainly, generalizations are given of Quillen's Theorems A and B to lax functors between… ▽ More Small Bénabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the relationship between bicategories and the homotopy types of their classifying spaces. Mainly, generalizations are given of Quillen's Theorems A and B to lax functors between bicategories. △ Less

Submitted 17 September, 2013; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: 40 pages, corrected some typos, final version

MSC Class: 18D05; 18D10; 55P15; 55R65

Structure and classification of monoidal groupoids

Authors: María Calvo, Antonio M. Cegarra, Benjamín A. Heredia

Abstract: The structure of monoidal categories in which every arrow is invertible is analyzed in this paper, where we develop a 3-dimensional Schreier-Grothendieck theory of non-abelian factor sets for their classification. In particular, we state and prove precise classification theorems for those monoidal groupoids whose isotropy groups are all abelian, as well as for their homomorphisms, by means of Leec… ▽ More The structure of monoidal categories in which every arrow is invertible is analyzed in this paper, where we develop a 3-dimensional Schreier-Grothendieck theory of non-abelian factor sets for their classification. In particular, we state and prove precise classification theorems for those monoidal groupoids whose isotropy groups are all abelian, as well as for their homomorphisms, by means of Leech's cohomology groups of monoids. △ Less

Submitted 18 December, 2012; v1 submitted 13 September, 2012; originally announced September 2012.

Comments: 38 pages; corrected typos and made modifications suggested by the referee

MSC Class: 18D10; 20M50; 18G50; 18G50; 18G55

Geometric Realizations of Tricategories

Authors: Antonio M. Cegarra, Benjamín A. Heredia

Abstract: Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory, the simplicial bicategory termed its Segal nerve, and the simplicial set called its Street geometric nerve, and it proves the fact that the geometric realizati… ▽ More Any tricategory characteristically has associated various simplicial or pseudo-simplicial objects. This paper explores the relationship amongst three of them: the pseudo-simplicial bicategory so-called Grothendieck nerve of the tricategory, the simplicial bicategory termed its Segal nerve, and the simplicial set called its Street geometric nerve, and it proves the fact that the geometric realizations of all of these possible candidate 'nerves of the tricategory' are homotopy equivalent. Our results provide coherence for all reasonable extensions to tricategories of Quillen's definition of the 'classifying space' of a category as the geometric realization of the category's Grothendieck nerve. Many properties of the classifying space construction for tricategories may be easier to establish depending on the nerve used for realizations. For instance, by using Grothendieck nerves we state and prove the precise form in which the process of taking classifying spaces transports tricategorical coherence to homotopy coherence. Segal nerves allow us to obtain an extension to bicategories of the results by Mac Lane, Stasheff, and Fiedorowicz about the relation between loop spaces and monoidal or braided monoidal categories by showing that the group completion of the classifying space of a bicategory enriched with a monoidal structure is, in a precise way, a loop space. With the use of geometric nerves, we obtain genuine simplicial sets whose simplices have a pleasing geometrical description in terms of the cells of the tricategory and, furthermore, we obtain an extension of the results by Joyal, Street, and Tierney about the classification of braided categorical groups and their relationship with connected, simply connected homotopy 3-types, by showing that, via the classifying space construction, bicategorical groups are a convenient algebraic model for connected homotopy 3-types. △ Less

Submitted 27 June, 2012; v1 submitted 16 March, 2012; originally announced March 2012.

Comments: 48 pages; modified thanks

MSC Class: 18D05; 18D10; 55P15; 55P48

Journal ref: Algebr. Geom. Topol. 14 (2014) 1997-2064

Double groupoids and homotopy 2-types

Authors: Antonio M. Cegarra, Benjamín A. Heredia, Josué Remedios

Abstract: This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and here we deal with homotopy types represented by double groupoids satisfying a natural `filling condition'. Any such double groupoid characteristically has asso… ▽ More This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and here we deal with homotopy types represented by double groupoids satisfying a natural `filling condition'. Any such double groupoid characteristically has associated to it `homotopy groups', which are defined using only its algebraic structure. Thus arises the notion of `weak equivalence' between such double groupoids, and a corresponding `homotopy category' is defined. Our main result in the paper states that the geometric realization functor induces an equivalence between the homotopy category of double groupoids with filling condition and the category of homotopy 2-types (that is, the homotopy category of all topological spaces with the property that the $n^{\text{th}}$ homotopy group at any base point vanishes for $n\geq 3$). A quasi-inverse functor is explicitly given by means of a new `homotopy double groupoid' construction for topological spaces. △ Less

Submitted 19 March, 2010; originally announced March 2010.

Comments: keywords: Double groupoid, classifying space, bisimplicial set, Kan complex, geometric realization, homotopy type

MSC Class: 18D05; 20L05; 55Q05; 55U40

Homotopy Fibre Sequences Induced by 2-Functors

Authors: Antonio M. Cegarra

Abstract: This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit Theorem to 2-functors. This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit Theorem to 2-functors. △ Less

Submitted 25 March, 2010; v1 submitted 23 September, 2009; originally announced September 2009.

Comments: The paper has been improved following referee's sugestions, to which the author would like to express his gratitude.

MSC Class: 18D05; 55P15; 18F25.

Classifying spaces for braided monoidal categories and lax diagrams of bicategories

Authors: P. Carrasco, A. M. Cegarra, A. R. Garzón

Abstract: This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In t… ▽ More This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be thought of as the homotopy colimit of the classifying spaces of the bicategories that arise from the initial input data given by the lax diagram. This result is applied to produce bicategories whose classifying space has a double loop space with the same homotopy type, up to group completion, as the underlying category of any given (non-necessarily strict) braided monoidal category. Specifically, it is proven that these double delooping spaces, for categories enriched with a braided monoidal structure, can be explicitly realized by means of certain genuine simplicial sets characteristically associated to any braided monoidal categories, which we refer to as their (Street's) geometric nerves. △ Less

Submitted 25 June, 2010; v1 submitted 6 July, 2009; originally announced July 2009.

Comments: This a revised version (with 59 pages now) of our paper on realizations of braided categories, where we have taken into account the referee's report. Indeed, we are much indebted to the referee, whose useful observations greatly improved our manuscript

MSC Class: 18D05; 18D10; 55P15; 55P48

Nerves and classifying spaces for bicategories

Authors: P. Carrasco, A. M. Cegarra, A. R. Garzón

Abstract: This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate `nerves of C' are homotopy equivalent. Any one of these realizations could therefore be taken as the classifying space BC of the bicategory. Its other major result… ▽ More This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate `nerves of C' are homotopy equivalent. Any one of these realizations could therefore be taken as the classifying space BC of the bicategory. Its other major result proves a direct extension of Thomason's `Homotopy Colimit Theorem' to bicategories: When the homotopy colimit construction is carried out on a diagram of spaces obtained by applying the classifying space functor to a diagram of bicategories, the resulting space has the homotopy type of a certain bicategory, called the `Grothendieck construction on the diagram'. Our results provide coherence for all reasonable extensions to bicategories of Quillen's definition of the `classifying space' of a category as the geometric realization of the category's Grothendieck nerve, and they are applied to monoidal (tensor) categories through the elemental `delooping' construction. △ Less

Submitted 30 March, 2009; originally announced March 2009.

Comments: 42 pages

MSC Class: 18D05; 55U40

Journal ref: Algebr. Geom. Topol. 10 (2010) 219-274

Diagonal fibrations are pointwise fibrations

Authors: Antonio Cegarra, Remedios Gomez

Abstract: On the category of bisimplicial sets there are different Quillen closed model structures associated to various definitions of fibrations. In one of them, which is due to Bousfield and Kan and that consists of seeing a bisimplicial set as a simplicial object in the category of simplicial sets, fibrations are those bisimplicial set maps such that each of the induced simplicial set maps is a Kan fi… ▽ More On the category of bisimplicial sets there are different Quillen closed model structures associated to various definitions of fibrations. In one of them, which is due to Bousfield and Kan and that consists of seeing a bisimplicial set as a simplicial object in the category of simplicial sets, fibrations are those bisimplicial set maps such that each of the induced simplicial set maps is a Kan fibration, that is, the pointwise fibrations. In another of them, introduced by Moerdijk, a bisimplicial map is a fibration if it induces a Kan fibration of associated diagonal simplicial sets, that is, the diagonal fibrations. In this note, we prove that every diagonal fibration is a pointwise fibration. △ Less

Submitted 28 June, 2007; originally announced June 2007.

Comments: to be published in "Journal of Homotopy and Related Structures"