En teoría de las categorías, un clasificador de subobjetos es un objeto especial Ω en una categoría; intuitivamente, los subobjetos de un objeto "X" corresponden a clases de equivalencia(por medio de iso) de los monomorfismos de "X" a Ω.