ここのところ３日間、圏論的宇宙〈categorical universe | category theoretic universe〉について書きました。 ファンタジー： (-1)次元の圏と論理 圏論的宇宙と反転原理と次元付きの記法 有界な圏論的宇宙と圏論的パス式 初回のタイトルに「ファンタジー」…

集合論でも圏論でも、宇宙は無限の彼方へと拡がっています。でも、適当な場所で限界を設けて、その限界の内側だけで十分なことが多い気がします。そのような狭い世界のなかでは、ファイルシステムやWebと同様に、パスにより実体を指し示すことができます。昨…

「ファンタジー： (-1)次元の圏と論理」の最後の一文： このファンタジーに、リアリティが加わるといいんですけど… 圏論的宇宙をチャンと理解するのはなかなかに難しいですが、記法を整備するくらいはできるので、やっておきましょう。内容： 圏論的宇宙と反…

しばらくブログを更新してなくて「死んでるんじゃないか？」と思われているので、なんか書きます。クリスマスらしく(?)、詩的（ポエティック）な話をします。「詩的」を悪い意味にとれば、曖昧でハッキリしない話となります。良い意味にとれば、楽しいファン…

「有限集合とは何だろう（ストーリー付き練習問題集）」にちょっと補足します。Xが有限のとき、S⊆X である集合Sは有限集合ですが、このことを示すストーリーに触れます。内容： 余談：宇都宮市民の髪の毛の本数 [m]の部分集合に関する補題 証明要求とその書…