3 citations · 4 across the 7 of their papers we have counts for
12 papers
Extremally disconnected spaces as {{u->a,b<-v}-->{u->a=b<-v}}^l, and being proper as ({{o}-->{o->c}}^r_<4)^lr
M. Gavrilovich
We observe that the notions of a topological space being extremally disconnected, and of a continuous map of compact Hausdorff spaces being proper, and being surjective proper, can…
Remarks on Shelah's classification theory and Quillen's negation
Misha Gavrilovich
We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expre…
Geometric realisation as the Skorokhod semi-continuous path space endofunctor
Misha Gavrilovich, Konstantin Pimenov
We interpret a construction of geometric realisation by [Besser], [Grayson], and [Drinfeld] of a simplicial set as constructing a space of maps from the interval to a simplicial se…
Simplicial sets with a notion of smallness
M. Gavrilovich
We consider simplicial sets equipped with a notion of smallness, and observe that this slight "topological" extension of the "algebraic" simplicial language allows a concise reform…
Formulating basic notions of finite group theory via the lifting property
Misha Gavrilovich
We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our exam…
Standard conjectures in model theory, and categoricity of comparison isomorphisms
Misha Gavrilovich
We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form…