generated at
要素を写像としてみる視点
圏論の観点でも、集合の観点でも登場する視点

集合
元を写像としてみる
任意の集合Aを、1点集合からの写像と見る
逆に言えばこの写像のことを、我々は元と呼んでいる
部分集合を写像としてみる


圏論
対象を関手としてみる
任意の圏\mathscr{A}の対象を、単位圏1からの関手としてみる
射を関手としてみる
任意の圏\mathscr{A}の射を、圏2からの関手としてみる