13 citations · 19 across the 19 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.AG2018
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…
math.CT2018★ 1 cited
A naive diagram-chasing approach to formalisation of tame topology
Misha Gavrilovich, Konstantin Pimenov
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonali…
math.CT2018
Topological and metric spaces are full subcategories of the category of simplicial objects of the category of filters
Misha Gavrilovich
We observe that the category of topological space, uniform spaces, and simplicial sets are all, in a natural way, full subcategories of the same larger category, namely the simplic…