4
$\begingroup$

With regards to model categories, what is the intuition behind the small object argument and cofibrantly generated model categories?

$\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$ Mar 1, 2016 at 15:38

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.