m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 高次圏論 論理 高次モノイド指標を定義したい。そのためには、モノイド箙とモノイダッド（monoidad）を一緒に定義する。monoidadはcomputadに似せた僕の造語。 次元 モノイド箙 モノイダッド モノイダッド結合 -1 - 単元集合{*} - 0 {*}上の0-アロー集合 モノイド 1 モノイド上の1-アロー集合 厳密モノイド圏 , ; 2 厳密モノイド圏上の2-アロー集合 厳密モノイド厳密2-圏 , ;, | (k-1)-モノイダッドと、そこに両端を持つようなk-アローの集合がk-モノイド箙を定義する。 k-モノイド箙から、k-モノイダッドが自由生成される。 k-モノイダッドは、(k+1)個の結… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20170208%2F1486541500" title="高次モノイド指標と論理 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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-02-08 17:11:40 rich https://m-hiyama-memo.hatenablog.jp/entry/20170208/1486541500 1.0 100%