Abstract homotopy theory in procategories

Recent work of Szumi lo (see [Sz14]) shows that a certain variant of the notion of a category of fibrant objects (which includes, in particular, a two-out-of-six axiom for

For a finite group G, it may be useful to consider the ^-semilattice Varf(G) c Varfg(G) of finite variations; this is countable because the set of isomorphism types

Now Simplicial Sets carries a closed model structure, i.e., it has distinguished classes of maps called cofibrations, weak equivalences, and.. fibrations satisfying

Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale.. Toute copie ou impression de ce fichier doit conte- nir la présente mention

of R and morphisms all (not necessarily continuous) maps between such spaces and S is the non-full subcategory with objects subspaces of Rand morphisms all

following lemma in order to prove that F induces homotopy equivalences..

— The category of conilpotent dg P ¡ -coalgebras admits a model category structure, Quillen equivalent to that of dg P-algebras, in which every object is cofibrant and in which

D.. — // G is a compact connected Lie group and H a closed connected subgroup, then every fibre bundle with standard fiber G/H, associated to a G-principal bundle via the