Topos

Ir a la navegaciónIr a la búsqueda
Para la familia de mamíferos que incluye a topos y desmanes, véase Talpidae.
Para la escultura de Eduardo Chillida, véase Topos V.
Para los topos literarios, véase Topos (literatura).
En matemática, un topos (plural: topos 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.