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 | https://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: |