 Another prominent example of structured truth values are the “truth-value objects” in topos models from category theory (see the entry on  category theory).  For any topos \(C\) and for a \(C\)-object Ω one can define a truth value of \(C\) as an arrow \(1 \rightarrow Ω\) (“a subobject classifier for \(C\)”), where 1 is a terminal object in \(C\) (cf. Goldblatt 2006: 81, 94). The set of truth values so defined plays a special role in the logical structure of \(C\), since arrows of the form \(1 \rightarrow Ω\) determine central semantical notions for the given topos. And again, these truth values evidently have some inner structure.