Homotopical Algebra in Categories with Enough Projectives

MaRDI QIDQ6283794zbMATH OpenFDO

Authors Ged Corob Cook

Publication date 1 March 2017

Mathematics Subject Classification ID

Homotopy functors in algebraic topology (55P65)

Abstract: For a complete and cocomplete category $mathcalC$ with a well-behaved class of `projectives' $$, we construct a model structure on the category $smathcalC$ of simplicial objects in $mathcalC$ where the weak equivalences, fibrations and cofibrations are defined in terms of $$. This holds in particular when $mathcalC$ is $mathcalU$, the category of compactly generated, weakly Hausdorff spaces, and $$ is the class of compact Hausdorff spaces. We also construct a new model structure on $mathcalU$ itself, where the cofibrant spaces are generalisations of CW-complexes allowing spaces, rather than sets, of $n$-cells to be attached. The singular simplicial complex and geometric realisation functors give a Quillen adjunction between these model structures. For a space in $mathcalU$, these structures allow the definition of homotopy group objects in the exact completion of $mathcalU$, which are invariant under weak equivalence and have a lot of the nice properties usually expected of homotopy groups. There is a long exact sequence of homotopy group objects arising from a fibre sequence in $mathcalU$. Working along similar lines, we study homological algebra in categories of internal modules in $mathcalU$, getting in particular a Lyndon--Hochschild--Serre spectral sequence for extensions of topological groups in $mathcalU$.

This page was built for publication: Homotopical Algebra in Categories with Enough Projectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6283794)