Teoría de Topos

- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
El estudio de los topoi como espacios categóricos generalizados que soportan haces, lógica interna y morfismos geométricos, proporcionando un entorno unificador para geometría, lógica y cohomología de haces.