Added Beke’s result that this works for nice locally presentable categories too.
]]>Yes, I agree. Just that the link was to the CatLab when I glanced at the page, and I noticed that it needed fixing.
]]>Wouldn’t it make more sense to have a page about that reference on the main nLab, than to link to the Catlab?
]]>Nice! Very good to have this written up.
]]>Created page, recording the proof that cellular models exist in all Grothendieck topoi (not just presheaf ones).
]]>