nLab
minimal fibration
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

Contents
Idea
In models of homotopy theory by homotopical categories it is a common concept that morphisms may be replaced by fibrant resolutions or cofibrant resolutions . These are in general far from being unique. Moreover, generic ways of constructing them, notably via a small object argument , yield resolutions which are “very large” in that they are relative cell complexes (or co-cell complexes, respectively) with large transfinite cardinality of the set of cell attachments.

In contrast, a minimal (co-)fibration is one which is “as small as possible” in some precise sense. Typically this minimality is witnessed by the property that any weak equivalence between minimal (co-)fibrations is already an isomorphism .

If one thinks of objects in the given homotopical category as “models” (namely as models for homotopy types as in the usage of “model category ”) then one often speaks of “minimal models”.

The discussion of the concept of minimal (co-)fibrations is often restricted to particular choices of ambient homotopical categories (see the list of Examples below), prominent examples being the minimal Kan fibrations in the classical model structure on simplicial sets and the minimal Sullivan algebras in the projective model structure on dgc-algebras . A general concept of minimal models is considered in Roig 93 .

Examples
References
A general concept of minimal fibrations and minimal models (in general model categories ) is discussed in

Agustí Roig , Minimal resolutions and other minimal models , Publicacions Matemàtiques Vol. 37, No. 2 (1993), pp. 285-303 (JSTOR )
and with an eye specifically towards minimal dg-modules in

Agustí Roig , section 1 of Formalizability of dg modules and morphisms of cdg algebras , Volume 38, Issue 3 (1994), 434-451 (euclid )
For discussion in rational homotopy theory see at Sullivan minimal model .

Discussion in equivariant rational homotopy theory is in

Georgia Triantafillou, Equivariant minimal models , Trans. Amer. Math. Soc. vol 274 pp 509-532 (1982) (jstor )

Last revised on March 25, 2018 at 03:41:49.
See the history of this page for a list of all contributions to it.