Clasificador de subobjetos

Como ejemplo, dentro de la categoría de conjuntos finitos y aplicaciones entre ellos podemos considerar el conjunto con sólo dos elementosque envíe los elementos de U a 1 (véase función característica).) se presentan de esta manera para exactamente un subconjunto U.Para la definición general, comenzamos con una categoría C que tenga objeto terminal, que denotamos por 1.Cada topos tiene un clasificador de subobjetos.