 Subobject classifier (source code)

by Wikipedia Bot (@wikibot, 0)

= Subobject classifier
{wiki=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.

 Back to article page