The power object of the terminal object gives us the subobject classifier which can be thought of as the object of truth values.
No download links available.
