表現
representation
とある対象と、とある自然同型の選択のこと
定義
「関手$ Xの表現」とは
「対象$ A\in\mathscr{A}」と「自然同型$ \mathrm{Hom}(A,-)\cong X」の選択のこと
$ Xは関手$ X:\mathscr{A}\to\mathrm{Set}
https://gyazo.com/6db5feb2d0c3b14e9908e4fd6ae8b59b
こんな$ H^A\cong Xが成り立つような、赤丸の選択のことを表現と呼ぶ
ベシ圏 p.102