La geometría de Coherent topoi y Ultraestructuras
Por Camilo Arcaya • 16 nov, 2022 • Sección: AmbienteIván Di Liberti
Demostramos que los topoi coherentes son inyectivas Kan correctas con respecto a las incrustaciones planas de topoi. Recuperamos la ultraestructura sobre su categoría de puntos como consecuencia de este resultado. Especulamos sobre posibles nociones de ultracategoría en varios campos de la teoría de modelos formales.
Category Theory (math.CT); General Topology (math.GN); Logic (math.LO)
arXiv:2211.03104v1 [math.CT]
