Subobject classifier

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.