Ahora, clasificadores de subobjetos pueden ser encontrados adentro de la teoría de haces.