Showing 1–4 of 4 results for author: Remedios, J

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

Abstract sectional category

Authors: F. Diaz, J. Calcines, P. Garcia, A. Murillo, J. Remedios

Abstract: We study, in an abstract axiomatic setting, the notion of sectional category of a morphism. From this, we unify and generalize known results about this invariant in different settings as well as we deduce new applications. We study, in an abstract axiomatic setting, the notion of sectional category of a morphism. From this, we unify and generalize known results about this invariant in different settings as well as we deduce new applications. △ Less

Submitted 22 February, 2012; v1 submitted 24 June, 2011; originally announced June 2011.

Comments: 24 pages

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 equivalences of localized aspherical complexes

Authors: A. Garvín, A. Murillo, J. Remedios, A. Viruel

Abstract: By studying the group of self homotopy equivalences of the localization (at a prime $p$ and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent complex, $\mathcal{E}_{\#}^m (X_{p})$ is in general different from $\mathcal{E}_{\#}^m (X)_{p}$. That is the case even when $X=K(G,1)$ is a finite complex and/or $G$ satisfies extra finitenes… ▽ More By studying the group of self homotopy equivalences of the localization (at a prime $p$ and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent complex, $\mathcal{E}_{\#}^m (X_{p})$ is in general different from $\mathcal{E}_{\#}^m (X)_{p}$. That is the case even when $X=K(G,1)$ is a finite complex and/or $G$ satisfies extra finiteness or nilpotency conditions, for instance, when $G$ is finite or virtually nilpotent. △ Less

Submitted 26 March, 2007; originally announced March 2007.

Comments: 6 pages, no figures. to appear in Math. Nach

MSC Class: 55P10; 55P20; 55P60