An adjunction, you'll recall, consists of a pair of functors $F\dashv G$ between categories ... There is another functor $\hom(Y,-)\colon ...
確定! 回上一頁