Publications (40)13.43 Total impact
 [Show abstract] [Hide abstract]
ABSTRACT: We introduce the second cohomology categorical group of a categorical group G with coefficients in a symmetric Gcategorical group and we show that it classifies extensions of G with symmetric kernel and a functorial section. Moreover, from an essentially surjective homomorphism of categorical groups we get 2exact sequences à la HochschildSerre connecting the categorical groups of derivations and the first and the second cohomology categorical groups.  [Show abstract] [Hide abstract]
ABSTRACT: Homotopy categorical groups of any pointed space are defined via the fundamental groupoid of iterated loop spaces. This notion allows, paralleling the group case, to introduce the notion of Kcategorical groups of any ring R. We also show the existence of a fundamental categorical crossed module associated to any fibre homotopy sequence and then, and are characterized, respectively, as the homotopy cokernel and kernel of the fundamental categorical crossed module associated to the fibre homotopy sequence As consequence, the 3th level of the Postnikov tower of the Ktheory spectrum of R is classified by this categorical crossed module.  [Show abstract] [Hide abstract]
ABSTRACT: Thomason's Homotopy Colimit Theorem has been extended to bicategories and this extension can be adapted, through the delooping principle, to a corresponding theorem for diagrams of monoidal categories. In this version, we show that the homotopy type of the diagram can be also represented by a genuine simplicial set nerve associated with it. This suggests the study of a homotopy colimit theorem, for diagrams $\b$ of braided monoidal categories, by means of a simplicial set {\em nerve of the diagram}. We prove that it is weak homotopy equivalent to the homotopy colimit of the diagram, of simplicial sets, obtained from composing $\b$ with the geometric nerve functor of braided monoidal categories.  [Show abstract] [Hide abstract]
ABSTRACT: Any pointed CWcomplex X has associated a categorical crossed module WX whose homotopy groups coincide with those of the space up to dimension 3. Here we associate WX more closely with the homotopy 3type of X. We introduce the nerve of a categorical crossed module L and define its classifying space BL as the geometrical realization of the nerve. Then we prove that there is a map X → BWX inducing isomorphism of the homotopy groups πi for i ≤ 3. Finally, comparison with other algebraic models of 3types is achieved (© 2010 WILEYVCH Verlag GmbH & Co. KGaA, Weinheim)  [Show abstract] [Hide abstract]
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 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 (nonnecessarily 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. Comment: 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  [Show abstract] [Hide abstract]
ABSTRACT: This paper explores the relationship amongst the various simplicial and pseudosimplicial 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.  [Show abstract] [Hide abstract]
ABSTRACT: Crossed modules have longstanding uses in homotopy theory and the cohomology of groups. The corresponding notion ill the setting of categorical groups, that is, categorical crosses modules, allowed the development of a lowdimensional categorical  to any pointed CWcomplex (X, (*)) group cohomology. Now, its relevance is also shown here to homotopy types by associating a categorical crossed module that algebraically represents the homotopy 3type of X. (c) 2006 Elsevier B.V. All rights reserved. 

Article: On H 1 of Categorical Groups
[Show abstract] [Hide abstract]
ABSTRACT: In this paper we introduce and study the first cohomology categorical group H 1 (G, A) of a categorical group G with coefficients in a braided categorical group A provided of a coherent Gaction. The fundamental exact sequence connecting H 0 and H 1 in this context is then established.  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we present a cohomological description of the equivariant Brauer group relative to a Galois finite extension of fields endowed with the action of a group of operators. This description is a natural generalization of the classic Brauer–Hasse–Noether's theorem, and it is established by means of a threeterm exact sequence linking the relative equivariant Brauer group, the 2nd cohomology group of the semidirect product of the Galois group of the extension by the group of operators and the 2nd cohomology group of the group of operators.  [Show abstract] [Hide abstract]
ABSTRACT: If G is a group, then the category of Ggraded categorical groups is equivalent to the category of categorical groups supplied with a coherent leftaction from G. In this paper we use this equivalence and the homotopy classification of graded categorical groups and their homomorphisms to develop a theory of extensions of categorical groups when a fixed group of operators is acting. For this kind of extensions we show a suitable Schreier’s theory and a precise theorem of classification, including obstruction theory, which generalizes both known results when the group of operators is trivial (categorical group extensions theory) or when the involved categorical groups are discrete (equivariant group extensions theory).  [Show abstract] [Hide abstract]
ABSTRACT: For any categorical group H, we introduce the categorical group O ut(H) and then the wellknown group exact sequence 1→Z(H)→H→Aut(H)→Out(H)→1 is raised to a categorical group level by using a suitable notion of exactness. Breen's Schreier theory for extensions of categorical groups is codified in terms of homomorphism to O ut(H) and then we develop a sort of Eilenberg–Mac Lane obstruction theory that solves the general problem of the classification of all categorical group extensions of a group G by a categorical group H, in terms of ordinary group cohomology.  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we prove that, for any Galois finite field extension $F/K$ on which a separated group of operators $\Gamma$ is acting, there is an isomorphism between the group of equivariant isomorphism classes of finite dimensional central simple $K$algebras endowed with a $\Gamma$action and containing $F$ as an equivariant strictly maximal subfield and the second equivariant cohomology group of the Galois group of the extension.  [Show abstract] [Hide abstract]
ABSTRACT: The homotopy classification of graded categorical groups and their homomorphisms is applied, in this paper, to obtain appropriate treatments for diverse crossed product constructions with operators which appear in several algebraic contexts. Precise classification theorems are therefore stated for equivariant extensions by groups either of monoids, or groups, or rings, or ringsgroups or algebras as well as for graded Clifford systems with operators, equivariant Azumaya algebras over Galois extensions of commutative rings and for strongly graded bialgebras and Hopf algebras with operators. These specialized classifications follow from the theory of graded categorical groups after identifying, in each case, adequate systems of factor sets with graded monoidal functors to suitable graded categorical groups associated to the structure dealt with. 
 [Show abstract] [Hide abstract]
ABSTRACT: The longknown results of Schreier on group extensions are here raised to a categorical level by giving a factor set theory for torsors under a categorical group (G,?) over a small category B. We show a natural bijection between the set of equivalence classes of such torsors and [B({B}),B(G,?)], the set of homotopy classes of continuous maps between the corresponding classifying spaces. These results are applied to algebraically interpret the set of homotopy classes of maps from a CWcomplex X to a pathconnected CWcomplex Y with pi(Y)=0 for all i?1,2.  [Show abstract] [Hide abstract]
ABSTRACT: The longknown results of Schreier–Eilenberg–Mac Lane on group extensions are raised to a categorical level, for the classification and construction of the manifold of all graded monoidal categories, the type being given group Γ with 1component a given monoidal category. Explicit application is made to the classification of strongly graded bialgebras over commutative rings.  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we do phrase the obstruction for realization of a generalized group character, and then we give a classification of Clifford systems in terms of suitable lowdimensional cohomology groups. 
Article: Graded extensions of categories
[Show abstract] [Hide abstract]
ABSTRACT: The problem of extending categories by groups, including theory of obstructions, is studied by means of factor systems and various homological invariants, generalized from SchreierEilenbergMac Lane group extension theory. Explicit applications are then given to the classification of several algebraic constructions long known as crossed products, appearing in many different contexts such as monoids, Clifford systems or twisted group rings. (C) 2000 Elsevier Science B.V. All rights reserved. MSG: 18D30; 18G50; 16S35.  [Show abstract] [Hide abstract]
ABSTRACT: . In this paper we use Quillen's model structure given by DwyerKan for the category of simplicial groupoids (with discrete object of objects) to describe in this category, in the simplicial language, the fundamental homotopy theoretical constructions of path and cylinder objects. We then characterize the associated left and right homotopy relations in terms of simplicial identities and give a simplicial description of the homotopy category of simplicial groupoids. Finally, we show loop and suspension functors in the pointed case. 1. Introduction 1.1. Summary. A wellknown and quite powerful context in which an abstract homotopy theory can be developed is supplied by a category with a closed model structure in the sense of Quillen [16]. The category Simp(Gp) of simplicial groups is a remarkable example of what a closed model category is, and the homotopy theory in Simp(Gp) developed by Kan [12] occurs as the homotopy theory associated to this closed model structure. According to the t...
Publication Stats
179  Citations  
13.43  Total Impact Points  
Top Journals
Institutions

19702015

University of Granada
 Department of Algebra
Granata, Andalusia, Spain
