Es así de un cierto interés recoger aquellos teoremas que sean válidos en todo topos, no solamente en el topos de conjuntos.