Results 1 
4 of
4
Homotopy Coherent Category Theory
, 1996
"... this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on: ..."
Abstract

Cited by 22 (6 self)
 Add to MetaCart
this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on:
The Classifying Space of a Topological 2Group
, 2008
"... Categorifying the concept of topological group, one obtains the notion of a ‘topological 2group’. This in turn allows a theory of ‘principal 2bundles’ generalizing the usual theory of principal bundles. It is wellknown that under mild conditions on a topological group G and a space M, principal G ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Categorifying the concept of topological group, one obtains the notion of a ‘topological 2group’. This in turn allows a theory of ‘principal 2bundles’ generalizing the usual theory of principal bundles. It is wellknown that under mild conditions on a topological group G and a space M, principal Gbundles over M are classified by either the Čech cohomology ˇ H 1 (M, G) or the set of homotopy classes [M, BG], where BG is the classifying space of G. Here we review work by Bartels, Jurčo, Baas–Bökstedt–Kro, and others generalizing this result to topological 2groups and even topological 2categories. We explain various viewpoints on topological 2groups and the Čech cohomology ˇ H 1 (M, G) with coefficients in a topological 2group G, also known as ‘nonabelian cohomology’. Then we give an elementary proof that under mild conditions on M and G there is a bijection ˇH 1 (M, G) ∼ = [M, BG] where BG  is the classifying space of the geometric realization of the nerve of G. Applying this result to the ‘string 2group ’ String(G) of a simplyconnected compact simple Lie group G, it follows that principal String(G)2bundles have rational characteristic classes coming from elements of H ∗ (BG, Q)/〈c〉, where c is any generator of H 4 (BG, Q).
A CARTANEILENBERG APPROACH TO HOMOTOPICAL ALGEBRA
, 707
"... Abstract. In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a CartanEilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objets with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values
A CARTANEILENBERG APPROACH TO HOMOTOPICAL ALGEBRA
, 707
"... Abstract. In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a CartanEilenberg category as a category with strong and weak equivalences such that there is an equivalence between its localization with respect to weak equivalences and the localised category of cofibrant objets with respect to strong equivalences. This equivalence allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and functor categories with a triple, in the last case we find examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications, we prove the existence of filtered minimal models for cdg algebras over a zerocharacteristic field and we formulate an acyclic models theorem for non additive functors.