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

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

斜めの線を使わない圏論

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

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

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

先日圏論の説明をしようとしましたが、ここでは可換図式の斜めの線が書けないらしいので可換図式を書くのがけっこう難しいです。そこで図を使わずに数式の変形だけで説明できないのか考えていきたいと思います。圏の定義から(Wikipediaに従って)説明していき…