Franklin's Notes

Truth values in a topos

In a topos $\mathscr E$, the arrows $1\to\Omega$ from the terminal object to the subobject classifier are called the truth values.

logic

back to home page