要素を写像としてみる視点
圏論
の観点でも、
集合
の観点でも登場する視点
射を要素として見る視点
の逆
集合
元を写像としてみる
任意の集合
$ A
の
元
を、
1点集合
からの
写像
と見る
逆に言えばこの写像のことを、我々は元と呼んでいる
部分集合を写像としてみる
ref
2点集合
圏論
対象を
関手
としてみる
任意の圏
$ \mathscr{A}
の対象を、
単位圏1
からの
関手
としてみる
射を関手としてみる
任意の圏
$ \mathscr{A}
の射を、
圏2
からの関手としてみる