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
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
homotopy colimits of filtered diagrams
In a combinatorial model category, for every sufficiently large regular cardinal $\kappa$ the following holds:
$\kappa$-filtered colimits preserve weak equivalences;
hence $\kappa$-filtered colimits are already homotopy colimits.
This appears as (Dugger 00, prop 7.3).
The point is to choose $\kappa$ such that all domains and codomains of the generating cofibrations are $\kappa$-compact object. This is possible since by assumption that $C$ is a locally presentable category all its objects are small objects, hence each a $\lambda$-compact object for some cardinal $\lambda$. Take $\kappa$ to be the maximum of these.
Let $F, G : J \to C$ be $\kappa$-filtered diagrams in $C$ and $F \to G$ a natural transformation that is degreewise a weak equivalence. Using the functorial factorization provided by the small object argument this may be factored as $F \to H \to G$ where the first transformation is objectwise an acyclic cofibration and the second objectwise an acyclic fibration, and by functoriality of the factorization this sits over a factorization
It remains to show that the second morphism is a weak equivalence. But by our factorization and by 2-out-of-3 applied to our componentwise weak equivalences, we have that all its components $H(j) \to G(j)$ are acyclic fibrations.
At small object it is described in detail how $\kappa$-smallness of an object $X$ implies that morphisms from $X$ into a $\kappa$-filtered colimit lift to some component of the colimit
So given a diagram
we are guaranteed, by the $\kappa$-smallness of $X$ and $Y$ that we established above, a lift
into some component at $j \in J$ and hence a lift
Thereby $\lim_\to H \to \lim_\to G$ is in $rlp(I) \subset W$.
In the situation of prop , since finite homotopy limits are given, after fibrant resolution, by finite limits, it follows from the ordinary commutativity of filtered colimits with finite limits that also filtered homotopy colimits commute with finite homotopy limits.
Last revised on May 20, 2014 at 02:33:32. See the history of this page for a list of all contributions to it.