t、True、真、とも言う

定義

圏\mathscr{A}の射t:1\to\Omegaのことで、

任意のモノ射m:A\to Bに対して、射\Chi_m:B\to\Omegaで、下図が引き戻しの図式になるものが一意に存在する時に言う

このとき、

\Chi_mのことを特性射と呼ぶ

\Omegaのことを真理値対象という