nLab
tractable model category

model category

definition

category with weak equivalences
weak factorization system
homotopy
- homotopy category
small object argument

morphisms

Quillen adjunction

universal constructions

homotopy Kan extension
homotopy limit/homotopy colimit
Bousfield-Kan map

refinements

monoidal model category
enriched model category
simplicial model category
cofibrantly generated model category
- combinatorial model category
- cellular model category
proper model category
stable model category

producing new model structures

Bousfield localization
transferred model structure

presentation of $(∞,1)$ -categories

(∞,1)-category
simplicial localization
(∞,1)-categorical hom-space
presentable (∞,1)-category

model structures

model structure on an overcategory
on functor categories (global)
- Reedy model structure

According to definition 1.21 and remark 1.23 in

Clark Barwick , On left and right model categories and left and right Bousfield localization (pdf)

a model category is called tractable if it is combinatorial and it has sets $I$ and $J$ of generating cofibrations and acyclic cofibrations, respectively, whose sources are all cofibrant?.

Revised on February 2, 2010 01:14:47 by Urs Schreiber (87.212.203.135)

nLab tractable model category

definition

morphisms

universal constructions

refinements

producing new model structures

presentation of (∞,1)-categories

model structures

for ∞-groupoids

for (∞,1)-categories

for (∞,1)-operads

for (n,r)-categories

for ∞-sheaves / ∞-stacks

nLab
tractable model category

presentation of $(∞,1)$ -categories

for $∞$ -groupoids

for $(∞,1)$ -categories

for $(∞,1)$ -operads

for $(n, r)$ -categories

for $∞$ -sheaves / $∞$ -stacks