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.
Articles by others on the same topic
A subobject classifier is a monomorphism such that every monomorphism is, uniquely, a pullback of along a characteristic map .