Topos theory MOC

Subobject classifier

In a finitely complete category , a subobject classifier is a morphism such that for any monomorphism (think subobject) , there is a unique morphism such that

is a pullback square. #m/def/topos In other words, every subobject is the pullback of along a unique characteristic morphism. We think of as an object of truth values, and the morphism as true.¹

#state/develop | #lang/en | #SemBr