论文标题
关于谢拉的分类理论和Quillen的否定的评论
Remarks on Shelah's classification theory and Quillen's negation
论文作者
论文摘要
我们通过观察到它们在不可分割的序列方面的特征自然表达为某些与线性阶相关的某些形态相关的质量提升属性％（否定），在某些类别延伸拓扑空间和简单的类别中，我们将其在不可分辨式的序列上的特征自然表达为稳定性，NIP，NTP的类别理论重新进行。这暗示了模型理论的同型理论的一种方法。
We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain morphisms associated with linear orders, in a certain category extending the categories of topological spaces and of simplicial sets. This suggests an approach to a homotopy theory for model theory.
