Remarks on Shelah's classification theory and Quillen's negation
Logic
2020-10-20 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2010.08791,
title = {Remarks on Shelah's classification theory and Quillen's negation},
author = {Misha Gavrilovich},
journal= {arXiv preprint arXiv:2010.08791},
year = {2020}
}