Lifting Independence Along Functors
Given a functor $$F: \mathcal {C}\rightarrow \mathcal {D}$$ and a model-theoretic independence relation on $$\mathcal {D}$$ , we can lift that independence relation along F to $$\mathcal {C}$$ by declaring a commuting square in $$\mathcal {C}$$ to be independent if its image under F is independent. For each property of interest that an independence relation can have we give assumptions on the functor that guarantee the property to be lifted.
Authors
- Mark Kamsma (ORCID: https://orcid.org/0000-0002-0419-7061)
- Jir̆ı́ Rosický (ORCID: https://orcid.org/0000-0002-9733-1222)
Institutions
- Masaryk University (CZ)
Publication Details
- Journal
- Applied Categorical Structures
- Published
- 2025-12-07
- DOI
- https://doi.org/10.1007/s10485-025-09826-y
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Grantová Agentura České Republiky
- Engineering and Physical Sciences Research Council