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

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

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

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

「第4章 自然変換」を見ていきます。コンマ圏のところまでは、どうやれば良いのかわからないのでそのままの書き方で書いていくことにします。 第4章 自然変換 ①自然変換の定義1 、 を圏 から への関手とします。 このとき、 から への 自然変換 は の各対象 …