3 papers
math.CT2025
Stable first order theories as simplicial profinite sets
Misha Gavrilovich
We rewrite simplicially the standard definitions of a complete first order theory, a model of it, and various characterisations of stability of a complete first order theory. In ou…
math.CT2024
Finite combinatorics implicit in the basic definitions of topology
Misha Gavrilovich
We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a con…
math.CT2024
The Quillen negation monoid of a category, and Schreier graphs of its action on classes of morphisms
Misha Gavrilovich, Misha Rabinovich
The free monoid with two generators acts on classes (=properties) of morphisms of a category by taking the left or right orthogonal complement with respect to the lifting property,…