圏の圏
中身
$ {\rm ob}({\bf CAT})：圏の集まり
$ {\bf CAT}({\bf A},{\bf B})：函手$ F:{\bf A}\to{\bf B}の集まり $ {\bf CAT}({\bf B},{\bf C})\times{\bf CAT}({\bf A},{\bf B})\ni(F,G)\xmapsto{F\circ G}(F_o\circ G_o,F_f\circ G_f)\in{\bf CAT}({\bf A},{\bf C})：函手の合成
$ {\bf CAT}では、圏の定義より任意の圏$ \bf Aに対して恒等函手$ {\rm id}_{\bf A}:{\bf A}\to{\bf A}が存在する 猫.icon
user1.icon
user2.icon