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

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

2021-06-28から1日間の記事一覧

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

トポス(1) この段階で数学的帰納法を使うことによって図式を使わずに説明することができるようになったと思うのですが、簡単にはいかないのでトポスについてもう少し調べてみたいと思います。[4]、[5]、[6]、[7]の本を持っていたので少し読んでみようと思い…