Analizando exactamente qué propiedades de la categoría de conjuntos y de funciones son necesarias para expresar la matemática, se llega a la definición de topos, y se puede entonces formular la matemática de cualquier topos.