#
The Azimuth Project

Set theory for category theory

## Vopěnka’s principle

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.

Created on February 13, 2020 20:02:27
by

Joe Moeller
(66.27.163.119)