on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
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
A Dwyer map is a type of cofibration in the category of small categories designed for the purpose of constructing homotopy invariant colimits with respect to weak homotopy equivalences, i.e. weak equivalences created from weak homotopy equivalences of simplicial sets by the nerve functor. It plays an essential role in the construction of the Thomason model structure. Its definition is inspired by neighborhood deformation retracts.
A suitable generalization serves a similar purpose in the homotopy theory of relative categories, see Barwick, Kan.
A functor of small categories $i \colon C \to D$ is a Dwyer map if it is a sieve and factors as a composite of $f \colon C \to C'$ and $j \colon C' \to D$ such that
In the original definition $r$ was assumed to be a right adjoint of $f$. The definition above is due to Cisinski who called this more general notion a pseudo-Dwyer map. Cisinski’s definition is now considered more useful and hence usually called by the simpler name “Dwyer map”.
Dwyer maps are closed under:
Moreover, the nerve functor preserves pushouts along Dwyer maps and transfinite composites of Dwyer maps up to weak homotopy equivalence.
The proofs can be found in Thomason, Proposition 4.3, Lemma 4.7 and Cisinski, Lemme 4.
Let $c$ denote the left adjoint of the nerve functor and let $Sd$ denote the barycentric subdivision functor. The composite $c Sd^2$ carries injective simplicial maps to Dwyer maps.
This is Thomason, Proposition 4.2.
So among the Dwyer maps are all cofibrations in the Thomason model structure. But not all Dwyer maps are Thomason cofibrations – for example, the unique functor $\emptyset \to C$ is always a Dwyer map, but not every category is Thomason-cofibrant.
Cahiers Topologie Géom. Différentielle 21, no. 3 (1980), pp. 305–324. MR0591388 (82b:18005) numdam scan
Last revised on March 3, 2016 at 19:24:40. See the history of this page for a list of all contributions to it.