Tienen aplicaciones en lógica, donde cada topos define internamente una fundamentación de las matemáticas.