Weak Vopěnka's Principle does not imply Vopěnka's Principle

Trevor M. Wilson

Vopěnka's Principle says that the category of graphs has no large discrete full subcategory, or equivalently that the category of ordinals cannot be fully embedded into it. Weak Vo…