m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「コンピュータッドとそのモデル： 同義語・類義語のジャングル」でコンピュータッドを紹介しました。2次元のコンピュータッドを中心に、もう少しコンピュータッドの話を続けます。一般次元のコンピュータッドをちゃんと定義することはしていません、だいぶ難しいので。 内容： 前回の記事からの記法変更 セルと射 図面と始図面／終図面 有限な2-コンピュータッド 2-コンピュータッドの0-図面、1-図面 2-コンピュータッドの2-図面の記述 2-コンピュータッドの連接演算 2-コンピュータッドから生成された自由厳密2-圏 前回の記事からの記法変更コンピュータッドは厳密n-圏の生成系です*1が、球体集合〈glob… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F08%2F23%2F174221" title="2次元のコンピュータッド - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://i.imgur.com/AWJGjdg.gif Hatena Blog https://hatena.blog 2021-08-23 17:42:21 rich https://m-hiyama.hatenablog.com/entry/2021/08/23/174221 1.0 100%