On orthogonal subcategories of locally presentable categories

✍ Scribed by J. Adámek; J. Rosický

• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 318 KB
• Volume: 108
• Category: Article
• ISSN: 0012-365X
• DOI: 10.1016/0012-365x(92)90667-5

✦ Synopsis

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.