Lawvere entonces formuló axiomas para un topos que asumieran un clasificador de subobjetos, y algunas condiciones sobre límites (para hacer la categoría cartesiano-cerrada, por lo menos).