2022-05-31から1日間の記事一覧

集合論と圏論のメンタルモデル

共通する発想: 個体〈モノ〉は世界全体との関係性においてしか理解できない。 集合論: モノ〈集合〉 $`a`$ が分かる ⇔ 宇宙内の任意のモノ $`x`$ に対して $`x\in a`$ かどうか完全に判断できる。 圏論: モノ〈対象〉 $`a`$ が分かる ⇔ 圏内の任意のモノ …