Lifting independence along functors
Category Theory
2025-09-03 v2 Logic
Abstract
Given a functor and a model-theoretic independence relation on , we can lift that independence relation along to by declaring a commuting square in to be independent if its image under is independent. For each property that an independence relation can have we give assumptions on the functor that guarantee the property to be lifted.
Cite
@article{arxiv.2411.14813,
title = {Lifting independence along functors},
author = {Mark Kamsma and Jiří Rosický},
journal= {arXiv preprint arXiv:2411.14813},
year = {2025}
}
Comments
38 pages