With regards to model categories, what is the intuition behind the small object argument and cofibrantly generated model categories?
$\begingroup$
$\endgroup$
1
-
4$\begingroup$ You want to produce some fibrant thing, say. So you need a bunch of diagrams to have lifts. So just make them have lifts in a stupid way by adjoining some stuff indexed over all "lifting problems". Whoops! There's too many lifting problems! So we hope that the class of such is generated by a set so that we don't break math. $\endgroup$– Dylan WilsonMar 1, 2016 at 15:38
Add a comment
|