Unstable independence from the categorical point of view
We give a category-theoretic construction of simple and NSOP 1 -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.
Authors
- Mark Kamsma (ORCID: https://orcid.org/0000-0002-0419-7061)
- Jir̆ı́ Rosický (ORCID: https://orcid.org/0000-0002-9733-1222)
Institutions
- Queen Mary University of London (GB)
- Masaryk University (CZ)
Publication Details
- Journal
- Annals of Pure and Applied Logic
- Published
- 2025-06-17
- DOI
- https://doi.org/10.1016/j.apal.2025.103629
- Citations
- 1
- Primary Topic
- Homotopy and Cohomology in Algebraic Topology
- Type
- article
- Field-Weighted Citation Impact
- 3.69
Funders
- Grantová Agentura České Republiky
- Engineering and Physical Sciences Research Council