m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ ラムダ計算 多圏 ラムダ計算の重箱の隅(?)：タプルと成分 - 檜山正幸のキマイラ飼育記 メモ編 ： やっぱり多圏の議論をしないとどうにもならない、と感じる。 ... 重箱の隅でもないな、これは。 難しい問題が持ち上げる。Cが厳密モノイド圏のとき、それから厳密多圏Poly(C)を作れる。この手順は比較的簡単だし、できた多圏Poly(C)も扱いやすい。しかし、Cが厳密でない時は、Poly(C)の作り方がハッキリしない。話を簡単にするには、Cからモノイド圏の厳密化をして、その後で多圏を作ればよい。ところが、ラムダ計算のモデルとしてCがあるとき、Cの厳密化とラムダ項の構文側との関係が問題になる。モノイド圏の厳密化によ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160225%2F1456367446" 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 2016-02-25 11:30:46 rich https://m-hiyama-memo.hatenablog.jp/entry/20160225/1456367446 1.0 100%