Unterobjekt-Klassifizierer

Unterobjekt-Klassifizierer werden im mathematischen Teilgebiet der Kategorientheorie untersucht. Es handelt sich um einen Monomorphismus, so dass jedes Unterobjekt auf diese Weise als Pullback dieses Monomorphismus längs eines eindeutig bestimmten Morphismus auftritt. Die Grundidee stammt aus der Kategorie der Mengen, in der eine Teilmenge mit der zugehörigen charakteristischen Funktion identifiziert werden kann.