表現可能関手

前層 $F$ が表現可能であるとは、ある対象 $X$ と自然同型 $\alpha : h_X \Rightarrow F$ が存在することをいう。組 $(X, \alpha)$ を $F$ の表現、$X$ を表現対象という。関手 $G : \mathcal{C} \to \mathsf{Set}$ が $h^{X}$ と自然同型なときも表現可能という（$\mathcal{C}^{\mathrm{op}}$ 上の前層として表現可能であることと同じ）。