部分対象分類子
subobject classifier
$ t
、True、真、とも言う
定義
圏
$ \mathscr{A}
の射
$ t:1\to\Omega
のことで、
任意の
モノ射
$ m:A\to B
に対して、射
$ \Chi_m:B\to\Omega
で、下図が
引き戻し
の図式になるものが一意に存在する時に言う
https://gyazo.com/6e5e1d56240f837e3f90c480829eab28
このとき、
$ \Chi_m
のことを
特性射
と呼ぶ
$ \Omega
のことを
真理値対象
という