En la teoría de los topos, el clasificador de subobjetos de los topos toma el lugar del conjunto de valores de verdad.