English

Unstable independence from the categorical point of view

Category Theory 2025-06-24 v2 Logic

Abstract

We give a category-theoretic construction of simple and NSOP1_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\mathcal{M} such that the pullback squares consisting of morphisms in M\mathcal{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.

Keywords

Cite

@article{arxiv.2310.15804,
  title  = {Unstable independence from the categorical point of view},
  author = {Mark Kamsma and Jiří Rosický},
  journal= {arXiv preprint arXiv:2310.15804},
  year   = {2025}
}

Comments

33 pages