m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 プログラム意味論 気付いた 「Webのモデルとエルゴット圏」とかとも関係するのだが、もっと一般的な話。たいへんに曖昧だが、それでもたぶん使える、役に立つ。まず、コボルディズム圏とは何か？というとよく分からない。多様体とか（幾何的）複体の概念を使って(n, n+1)-コボルディズム圏を定義するのはまーできるでしょう。角付きになると難しいし、二重圏の構造を持つ。次元が混じってしまった普遍的なコボルディズム圏があって、それは高次圏のなかでも特別なものなんだろうと思うが、ワカランわ。ワカランのだけど、次元が低い場合、0, 1, 2くらいなら見当はつく。特に、(0, 1)-コボルディズム圏は時間の圏だと捉える。普遍的で大きなコボル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20111126%2F1322293780" title="Cob-Para自由構成 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2011-11-26 16:49:40 rich https://m-hiyama-memo.hatenablog.jp/entry/20111126/1322293780 1.0 100%