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

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

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

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

「圏論の道案内」では自然変換を中心に説明されているということなので、「第4章 自然変換」のあたりから読んでいこうと考えています。その前の「第3章 関手」ではいろいろな例が書かれていますが、これは自然変換に関連したものと思われます。その前に「前…