搜尋結果 "Hom関手" – Japanese Japanese–Japanese

單字詳情

Hom関手

上の図式の可換性は、Hom(_, _) が C × C から Set への、第1変数について反変で第2変数について共変である双関手（英語版）であることを示している。すなわち、Hom(_, _) は双関手 H o m ⁡ ( _ , _ ) : C o p × C → S e t {\displaystyle \mathop