m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 参照用 集合論でも圏論でも、宇宙は無限の彼方へと拡がっています。でも、適当な場所で限界を設けて、その限界の内側だけで十分なことが多い気がします。そのような狭い世界のなかでは、ファイルシステムやWebと同様に、パスにより実体を指し示すことができます。昨日の記事「圏論的宇宙と反転原理と次元付きの記法」を前提とします。内容： ワーキング宇宙 有界な圏論的宇宙 圏論的パス式 おわりに ワーキング宇宙「現場の集合論としての有界素朴集合論」において、有界な宇宙Uというものを導入しました。Uには限界があります。銀河と呼ばれる集合（複数も可）がUの最上位にあり、銀河を越えて外に出ることはできません。どこまでもどこまで… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20171227%2F1514348862" title="有界な圏論的宇宙と圏論的パス式 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-12-27 13:27:42 rich https://m-hiyama.hatenablog.com/entry/20171227/1514348862 1.0 100%