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

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

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

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

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