By Joan Bagaria and others

We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense... Show more

February 17, 2011

Loading full text...

Similar articles

Loading recommendations...

x1

Definable orthogonality classes in accessible categories are small

Click on play to start listening