Unstable independence from the categorical point of view
| Autoři | |
|---|---|
| Rok publikování | 2025 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Annals of Pure and Applied Logic |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | https://doi.org/10.1016/j.apal.2025.103629 |
| Doi | http://dx.doi.org/10.1016/j.apal.2025.103629 |
| Klíčová slova | Locally presentable category; Accessible category; Abstract elementary category; Stable independence; Simple independence; NSOP1-like independence |
| Přiložené soubory | |
| Popis | We give a category-theoretic construction of simple and NSOP1-like independence relations in locally finitely presentable categories, and in the more general locally finitely multipresentable categories. We do so by identifying properties of a class of monomorphisms M such that the pullback squares consisting of morphisms in M form the desired independence relation. This generalizes the category-theoretic construction of stable independence relations using effective unions or cellular squares by M. Lieberman, S. Vasey and the second author to the unstable setting. |
| Související projekty: |