とある対象と、とある自然同型の選択のこと

定義

「関手Xの表現」とは

「対象A\in\mathscr{A}」と「自然同型\mathrm{Hom}(A,-)\cong X」の選択のこと

Xは関手X:\mathscr{A}\to\mathrm{Set}

こんなH^A\cong Xが成り立つような、赤丸の選択のことを表現と呼ぶ

ベシ圏 p.102