nLab
resolution

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (∞,1)-categories

Model structures

for ∞-groupoids

for ∞-groupoids

for n-groupoids

for ∞-groups

for ∞-algebras

general

specific

for stable/spectrum objects

for (∞,1)-categories

for stable (∞,1)-categories

for (∞,1)-operads

for (n,r)-categories

for (∞,1)-sheaves / ∞-stacks

Contents

Idea

In a homotopical category C, a resolution of an object X is another object X^ equipped with a weak equivalence X^→X or X→X^ such that X^ has certain nice properties that X lacks.

See also simplicial resolution.

In a model category

If C is a model category then the most important resolutions are cofibrant resolutions and fibrant resolutions.

A fibrant resolution (or fibrant approximation) of X is a fibrant object X^ equipped with a weak equivalence into it

X→≃X^→*.X \stackrel{\simeq}{\to} \hat X \to * \,.

If the weak equivalence is also a cofibration, the fibrant resolution is a good fibrant resolution.

A cofibrant resolution (or cofibrant approximation) of X is a cofibrant object X^ equipped with a weak equivalence out of it

∅↪X^→≃X.\emptyset \hookrightarrow \hat X \stackrel{\simeq}{\to} X \,.

If the weak equivalence is also a fibration the cofibrant resolution is a good cofibrant resolution.

Notice that the factorization axioms of a model category ensure that such resolutions always exist.

Of course for the notion of fibrant resolution to make sense, also the ambient structure of a category of fibrant objects works. For cofibrant resolutions a Waldhausen category does the job, etc.

In the context of cofibration categories, the term used is fibrant model. (One also finds the term fibrant replacement used.)

Examples

In chain complexes

We consider the case of the one of the standard model structure on chain complexes.

If C is a category of chain complexes in a suitable (possibly structured) abelian category or semiabelian category A then one can in particular consider resolutions of ordinary objects of A – regarded as a chain complex concentrated in degree 0 - by chain complexes of A.

A resolution is an acyclic nonpositive complex P ⋅ which coaugments M or an acyclic nonnegative complex I ⋅ which augments M, i.e. it is equipped with a map of complexes P ⋅→M or a map of complexes M→I ⋅.

If each object P n is a projective object then P ⋅→M is a projective resolution , and if each I n is an injective object then M→I ⋅ is an injective resolution . These are fibrant and cofibrant resolutions in the suitable model structure on chain complexes.

There are further generalizations like unbounded resolutions etc.

In (co)simplicial objects in a model category

(…)

Revised on August 29, 2012 18:56:40 by Urs Schreiber (82.113.106.192)
Edit | Back in time (10 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: canonical model structure, BV-BRST formalism, hypercover, Lie infinity-algebroid, model category, category with weak equivalences, homotopy category, derived functor, model structure on simplicial sets, category of fibrant objects, model structure on topological spaces, projective object, monoidal model category, bar construction, path space object, pushout-product axiom, BrownAHT, small object argument, fibration, homotopy limit, model structure on simplicial presheaves, model structure on simplicial sheaves, homotopy pullback, weak homotopy equivalence, Thomason model structure, Reedy category, bundle gerbe, generalized Reedy category, algebra over an operad, Bousfield-Kan map, simplicial model category, enriched model category, model structure on strict omega-groupoids, simplicial homotopy, spectral sequence, fiber sequence, simplicial localization, proper model category, Quillen equivalence, local model structure on simplicial presheaves, global model structure on simplicial presheaves, Quillen adjunction, model structure on presheaves of simplicial groupoids, model structure on sSet-enriched presheaves, model structure on chain complexes, combinatorial model category, twisted bundle, cofibrantly generated model category, homotopy image, simplicial resolution, Reedy model structure, enriched Reedy category, model structure on functors, Kan fibrant replacement, (infinity,1)-categorical hom-space, smooth scheme, model structure for Cartesian fibrations, flabby sheaf, invariant polynomial, cotangent complex, (infinity,1)-operad, String Lie 2-algebra, model structure on dg-algebras, Quillen bifunctor, enriched Quillen adjunction, fivebrane 6-group, model category theory - contents, model structure on cosimplicial rings, model structure on dendroidal sets, little cubes operad, tractable model category, model structure on homotopical presheaves, cellular model category, model structure on an over category, Bousfield localization of model categories, model structure on dg-coalgebras, foliation, canonical model structure on Cat, cofibration, Euclidean-topological infinity-groupoid, Lie operad, model structure for complete Segal spaces, model structure for quasi-categories, model structure on categories with weak equivalences, model structure on algebraic fibrant objects, model structure on sSet-categories, stable model category, Hochschild cohomology, model structure on cubical sets, model structure for left fibrations, decalage, model structure on operads, transferred model structure, homotopy Kan extension, phase space, zigzag, Cisinski model structure, nice simplicial topological space, fat simplex, gauge group, monoid axiom in a monoidal model category, projective module, Chern-Simons form, resolution, Tor, factorization lemma, simplicial Quillen adjunction, pseudo-connection, circle n-bundle with connection, model structure on cosimplicial abelian groups, model structure on monoids in a monoidal model category, geometric realization of simplicial topological spaces, split hypercover, infinity-Chern-Weil theory introduction, differential string structure, infinity-Lie algebroid-valued differential form, L-infinity operad, connection on a smooth principal infinity-bundle, homotopy algebra, commutative operad, derived geometry, trivial model structure, model structure on simplicial algebras, model structure on reduced simplicial sets, model structure on algebras over a monad, model structure on dg-Lie algebras, cell complex, model structure on simplicial groupoids, differential fivebrane structure, model structure on operator algebras, monoidal Quillen adjunction, cell object, operadic Dold-Kan correspondence, infinity-algebra over an (infinity,1)-operad, model structure on algebras over an operad, model structure on spectra, model structure on modules over an algebra over an operad, Boardman-Vogt resolution, hyper-derived functor, framed little 2-disk operad, model structure on strict omega-categories, model structure on simplicial groups, model structure on dg-operads, model structure on dg-algebras over an operad, model structure on dg-categories, infinity-connected (infinity,1)-site, locally infinity-connected (infinity,1)-site, smooth infinity-groupoid -- structures, canonical model structure on groupoids, cohesive (infinity,1)-topos -- structures, model structure for (2,1)-sheaves, Barratt-Eccles operad, model structure on dg-modules, locally contractible topological infinity-groupoid, E-infinity operad, Koszul-Tate resolution, fiber integration in ordinary differential cohomology, model structure for L-infinity algebras, model structure on presheaves over a test category, model structure on cosimplicial simplicial sets, compactly generated model category, contents of contents, locally presentable categories - introduction, model structure on sSet-operads, model structure for Segal operads, n-image, generalized Reedy model structure, cartesian closed model category, model structure for Segal categories, model structure on simplicial Lie algebras, excellent model category, algebraic model category, 2-trivial model structure, locally cartesian closed model category, model structure on presheaves of spectra, fibrant object, model structure on cellular sets, model structure for dendroidal left fibrations, model structure for dendroidal Cartesian fibrations, elegant Reedy category, model structure for dendroidal complete Segal spaces, simplicial operad, canonical model structure on Operad, projectively cofibrant diagram, model structure for infinity-groupoids, projective resolution, fibrant replacement, tensor product of chain complexes, total derived functor, flat resolution lemma, flat resolution, homotopy category of chain complexes, free resolution, motivation for higher differential geometry, model structure on enriched categories, model topos, localization of model categories, model structure for homotopy n-types, relative category, model structure on semi-simplicial sets