Weak factorization systems and stable independence

This is the title of a talk given at the Harvard Logic seminar on April 22, 2019.

Abstract

We exhibit a bridge between the theory of weak factorization systems, a categorical concept used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the cofibrantly generated weak factorization systems (those that are, in a precise sense, generated by a set) are exactly those that give rise to stable independence notions. This two way connection yields a powerful new tool to build tame and stable abstract elementary classes. In particular, we generalize a construction of Baldwin-Eklof-Trlifaj to prove that the category of flat modules with flat monomorphisms has a stable independence notion, and explain how this connects to the fact that every module has a flat cover. Joint work with Jiří Rosický and Michael Lieberman.

References