Definition 2.50.
For a topos \(T\), we denote by \(\Omega\) the classifying object for the class of monomorphisms, and call it the subobject classifier.
Higher Topos Theory Section 2.3: Characterizations and consequences
Definition 2.50.
For a topos \(T\), we denote by \(\Omega\) the classifying object for the class of monomorphisms, and call it the subobject classifier.