Definable orthogonality classes in accessible categories are small
Název česky | Definovatelné třídy ortogonality v akcesibilních kategoriích jsou malé |
---|---|
Autoři | |
Rok publikování | 2015 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Journal of the European Mathematical Society |
Fakulta / Pracoviště MU | |
Citace | |
Doi | http://dx.doi.org/10.4171/JEMS/511 |
Obor | Obecná matematika |
Klíčová slova | supercompact cardinal; extendible cardinal; Lévy hierarchy; accessible category; reflective subcategory |
Popis | Podstatně snižujeme sílu předpokladů potřebných pro platnost určitých výsledků v teorii kategorií a teorii homotopií, o nichž bylo známo. že plynou z Vopěnkova principu. Ukazujeme, že potřebné předpoklady o velkých kardinálech závisí na složitosti definujících formulí ve smyslu Lévyho hierarchie. |
Související projekty: |