自然変換については良い書き方が見つからないので、ほぼ「圏論の道案内 ～矢印でえがく数学の世界～」に従って書いていきます。 第4章 自然変換 ④自然変換の例2：hom 関手間の自然変換 まず「第3章 関手 ②関手の例1：順序を保つ写像，反変関手・双対圏」から…