Hom (L A, B) ≅ Hom (A, R B). 我們便說 L 與 R 是一對伴隨函子(adjoint functor) ,記為 L ⊣ R 。其中 L 與 R 分別稱為左伴隨(left adjoint) 與右伴隨(right ...
確定! 回上一頁