Como ejemplo, dentro de la categoría de conjuntos finitos y aplicaciones entre ellos podemos considerar el conjunto con sólo dos elementos
que 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.