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

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

2020-03-16から1日間の記事一覧

斜めの線を使わない圏論(2)

まだ圏論の詳しい説明に入っていませんがしばらくこのまま続けます。自由群の説明ができるぐらいまでなんとか数式で説明していきたいのですが、どこまでできるか調べているところです。直積と直和(圏論の用語では積と余積)で作られた以下の集合を考えます。…