８．４ 写像対象としての随伴関手 写像対象は次のように定義される。対象射 \begin{eqnarray} eval : B^A \times A \rightarrow B \end{eqnarray} を有する対象\(B^A\)が写像対象であるとは、任意の対象\(X\)と射\(g: X \times Y \rightarrow B\)に対し、射 …