Como ejemplo, dentro de la categoría de conjuntos finitos y aplicaciones entre ellos podemos considerar el conjunto con sólo dos elementos formula_1 = {0, 1} y resulta ser un clasificador de subobjetos: a cada subconjunto "U" de "X" podemos asignar la función de "X" hacia formula_1 que envíe los elementos de "U" a 1 (véase función característica).