1 paper · 1 filter
J. Adámek, A. Brooke-Taylor, T. Campion +2
Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vop{ě}nka's Principle, we prov…