La estructura de su clasificador de subobjetos es la de un álgebra de Heyting.