Publications (30)4.83 Total impact
 [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.HOMOLOGY HOMOTOPY AND APPLICATIONS 03/2011; · 0.43 Impact Factor  [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.Applied Categorical Structures 01/2011; 19:633649. · 0.38 Impact Factor  [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)Mathematische Nachrichten 03/2010; 283(4):544  567. · 0.58 Impact Factor  [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 manuscript07/2009;  [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.04/2009;  [Show abstract] [Hide abstract]
ABSTRACT: Crossed modules have longstanding uses in homotopy theory and the cohomology of groups. The corresponding notion in the setting of categorical groups, that is, categorical crosses modules, allowed the development of a lowdimensional categorical group cohomology. Now, its relevance is also shown here to homotopy types by associating, to any pointed CWcomplex (X,∗), a categorical crossed module that algebraically represents the homotopy 3type of X.Topology and its Applications. 01/2007;  11/2006: pages 7286;

Article: On H1 of Categorical Groups
[Show abstract] [Hide abstract]
ABSTRACT: 0 and 1 in this context is then established.Communications in Algebra  COMMUN ALGEBRA. 01/2006; 34(10):36913699.  [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.Journal of Algebra  J ALGEBRA. 01/2006; 296(1):5674.  [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).Applied Categorical Structures 01/2005; 13:131140. · 0.38 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: For any categorical group H, we introduce the categorical group Out(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 Out(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.Applied Categorical Structures 01/2004; 12(1). · 0.38 Impact Factor  [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.01/2003;  International Mathematical Journal. 01/2002; 2(5).
 [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.Proceedings Mathematical Sciences 01/2001; 111(2):151161. · 0.19 Impact Factor  [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.Journal of Algebra  J ALGEBRA. 01/2001; 241(2):620657.  [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.Applied Categorical Structures 01/2001; 9:465496. · 0.38 Impact Factor  [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...11/2000; 
Article: Schreier theory for singular extensions of categorical groups and homotopy classification∗ ∗
[Show abstract] [Hide abstract]
ABSTRACT: If G is a categorical group, a Gmodule is defined to be a braided categorical group (A c) together with an action of G on (A,c). In this work we define the notions of singular extension of G by the Gmodule (A,c) and of 1cocycle of G with coefficients in (A,c) and we obtain, first, a bijection between the set of equivalence classes of singular extensions of G by (Ac) and the set of equivalence classes of 1cocycles. Next, we associate to any Gmodule (Ac) a Kan fibration of simplicial sets : Ner(GAc)) → Ner(G)and then we show that there is a bijection between the set of equivalence classes of singular extensions of G by (A,c) and Γ[Ner(G,A,c/Ner(G)]the set of fibre homotopy classes of crosssections of the fibration .Communications in Algebra. 01/2000; 28(5):25852613.  [Show abstract] [Hide abstract]
ABSTRACT: If S⊆Z is a multiplicative system and C is the class of the Storsion abelian groups, we study Serre modC homotopy theory in the subcategories of simplicial groups whose objects have trivial Moore complex in dimensions less than r and greater than n for 0≤r≤n. This is carried by giving a closed model structure in these categories and then studying the associated homotopy theory. When n→∞ we obtain the Serre homotopy theory for rreduced simplicial groups studied by Quillen in Ann. Math. 90 (1969) 205–295. If S=Z−{0} and r=1 we have the corresponding rational homotopy theory. The case n=r+1 allows to consider Serre homotopy theory in categories of catgroups or crossed modules of groups.Journal of Pure and Applied Algebra 01/2000; 147(2):107123. · 0.53 Impact Factor 
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 Schreier–Eilenberg–Mac 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.Journal of Pure and Applied Algebra  J PURE APPL ALG. 01/2000; 154(1):117141.
Publication Stats
125  Citations  
4.83  Total Impact Points  
Top Journals
Institutions

1970–2011

University of Granada
 Department of Algebra
Granata, Andalusia, Spain
