nLab
Cartan-Eilenberg category

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Category theory

Contents

Idea

The notion of Cartan-Eilenberg categories is a tool in homotopical algebra.

The structure of a Cartan-Eilenberg category (SAPR 10) on a category is the structure of a category with weak equivalences equipped with the further data of “strong” equivalences inducing a notion of cofibrant objects, such that the localization of the category at the weak equivalences is equivalently that of the full subcategory of cofibrant objects at just the strong equivalences.

The motivation for this axiomatics in (SAPR 10) is that it is the general context in which the original construction in (Cartan-Eilenberg 56) of derived functors of additive functors between categories of modules generalizes.

Every model category is in particular a Cartan-Eilenberg category, the strong equivalences in this case are the left homotopy equivalences. But the notion of CE-categories is weaker and exists in situations where a full model category structure is not available. In this way the notion of Cartan-Eilenberg category structures is analogous to other such structures in between categories with weak equivalences and fully-fledged model categories, such as categories of fibrant objects, Waldhausen categories etc.

In this approach to homotopical algebra, there is a ambient category, 𝒞\mathcal{C}, in which there are two classes 𝒮\mathcal{S} and 𝒲\mathcal{W} of distinguished morphisms called the strong and the weak equivalences and with SWS\subseteq W. An object of the category 𝒞\mathcal{C} is said to be cofibrant if any morphism from it to the codomain of a weak equivalence lifts uniquely to one from it to the domain within the category 𝒞[𝒮 1]\mathcal{C}[\mathcal{S}^{-1}], obtained by inverting the strong equivalences. (Note as the context is slightly different cofibrant means something slightly different here.)

Definition

A triple (𝒞,𝒮,𝒲)(\mathcal{C},\mathcal{S},\mathcal{W}) is called a (left) Cartan-Eilenberg category if every object has a cofibrant left model that is, for each object, XX, of 𝒞\mathcal{C}, there is a cofibrant object, MM, and a morphism q:MXq: M\to X in 𝒞[𝒮 1]\mathcal{C}[\mathcal{S}^{-1}], which is an isomorphism in 𝒞[𝒲 1]\mathcal{C}[\mathcal{W}^{-1}].

Properties

These Cartan-Eilenberg categories have the property that 𝒞[𝒲 1]\mathcal{C}[\mathcal{W}^{-1}] is equivalent to a relative localisation of the category of cofibrant objects with respect to strong equivalences.

References

The original constructions from which “Cartan-Eilenberg categories” got their name are due to

The abstraction of Cartan-Eilenberg categories then appears in

  • F. Guillén Santos, Vicente Navarro Aznar, Pere Pascual, Agusti Roig, A Cartan-Eilenberg approach to Homotopical Algebra, arxiv/0707.3704 and J. Pure Applied. Alg. 214 (2010) 140 - 164.

Further discussion is in

  • Pere Pascual, Some remarks on Cartan-Eilenberg categories, pdf and Collect. Math. 63, No. 2, 203-216 (2012);

  • Pere Pascual, Cartan-Eilenberg categories and descent categories, pdf

  • Joana Cirici, Francisco Guillén, Homotopy theory of mixed Hodge complexes, arxiv/1304.6236

Last revised on April 25, 2013 at 13:44:27. See the history of this page for a list of all contributions to it.