nLab
combinatorial simplicial model category

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

Idea

Combinatorial simplicial model categories, i.e. model categories that are both

are precisely those model categories that present presentable (infinity,1)-categories (see there for details).

Revised on March 18, 2010 09:23:22 by Urs Schreiber (87.212.203.135)
Edit | Back in time (2 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: model category, homotopy limit, limit in a quasi-category, Higher Topos Theory, locally presentable (infinity,1)-category, simplicial model category, (infinity,1)-category of (infinity,1)-functors, 2009 July changes, model structure on sSet-enriched presheaves, combinatorial model category, presentations of (infinity,1)-sheaf (infinity,1)-toposes, Verity on descent for strict omega-groupoid valued presheaves, Reedy model structure, model structure on functors, model structure for Cartesian fibrations, (infinity,1)-Yoneda extension, Bousfield localization of model categories, Combinatorial model categories have presentations, reflective sub-(infinity,1)-category, homotopy Kan extension