A subobject classifier is a monomorphism such that every monomorphism is, uniquely, a pullback of along a characteristic map .
Articles by others on the same topic
In category theory, a **subobject classifier** is a fundamental concept that generalizes the notion of characteristic functions and subobjects in set theory. It plays an important role in topos theory and categorical logic.