Topos
Biografía de Topos:
En matemática, un topos (plural: toposes o topoi) es un tipo de categoría que se comporta como la categoría de conjuntos y más generalmente como una categoría de haces sobre un espacio topológico. Tienen aplicaciones en lógica, donde cada topos define internamente una fundamentación de las matemáticas.Más información en Wikipedia