定関手
constant functor
selection functor
とも言う
定数関手
とも言うっぽい
任意の圏
$ \mathscr{A}
から、圏
$ \mathscr{B}
への
$ X
が定める定関手
$ F
とは、以下のような
関手
$ \mathscr{A}
の任意の対象を、
$ X
へ
$ \mathscr{A}
の任意の射を、
$ \mathrm{id}_x
へ
https://gyazo.com/05d8751e34a3c14882cf155585aaf16d