La geometría de Coherent topoi y Ultraestructuras

Por • 16 nov, 2022 • Sección: Ambiente

Ivá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]

Post to Twitter

Escribe un comentario