On orthogonal subcategories of locally p
β
J. AdΓ‘mek; J. RosickΓ½
π
Article
π
1992
π
Elsevier Science
π
English
β 318 KB
The statement 'every full, limit-closed subcategory of a locally presentable category is orthogonal' is proved to be undecidable; in fact, equivalent to a large-cardinal principle. For dual categories of locally presentable categories the situation is analogous.