エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2021-06-05から1日間の記事一覧

代数的構造による圏論(5)

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