La definición de Lawvere selecciona como papel central en la teoría de los topos del clasificador de subobjetos.