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.

category-theory

topos-theory

logic

back to home page