Lifting independence along functors

2024/11/22 by Kamsma, Mark, Rosický, Jiří · 1 citation
#03C45 (Primary) #03C95 (Secondary) #18C35 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2411.14813

Abstract

Given a functor F: C → D and a model-theoretic independence relation on D, we can lift that independence relation along F to C by declaring a commuting square in C to be independent if its image under F is independent. For each property that an independence relation can have we give assumptions on the functor that guarantee the property to be lifted.

Cited by

• Cofibrant generation of pure monomorphisms in presheaf categories

Related

• Unstable independence from the categorical point of view
• Axiomatic Theory of Independence Relations in Model Theory
• Simple-like independence relations in abstract elementary classes
• Independence in Arithmetic: The Method of (\mathcal L, n)-Models
• Independence of Sets Without Stability