从范畴论视角看不稳定独立性

我们在局部有限可表现范畴以及更一般的局部有限多可表现范畴中，给出简单和类 NSOP$_1$ 独立性关系的范畴论构造。为此，我们识别一类单态射 $\mathcal{M}$ 的性质，使得由 $\mathcal{M}$ 中态射构成的拉回平方形成所需的独立性关系。这将 M. Lieberman、S. Vasey 与本文第二作者利用有效并或胞腔平方对稳定独立性关系的范畴论构造推广到了不稳定情形。