圏論の基礎(マックレーン)などで極限の定義に用いられている普遍射*1の概念と, 関手の表現可能性の間にはっきりした関係があったので書いておく. 普遍射と関手の表現可能性 マックレーンに書いてありそうだけど書いてない内容. *2 関手 F: D → C と c ∈ |C| …