Set theory for category theory

- Michael Shulman, Set theory for category theory, 2008. arXiv:0810.1279

Some categorical forms of Vopěnka’s principle are listed:

- No locally presentable category has a large discrete full subcategory.
- Every complete or cocomplete category with a small dense full subcategory is locally presentable.
- Every category with a small dense full subcategory is well-copowered.

category: mathematical methods