m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 2025年初頭に「カン拡張ラムダ計算化計画」という記事を書きました。そこで述べた“計画”は、カン拡張に関わる概念や計算を、ストリング図（ワイヤーとノード）を使ったグラフィカル・ラムダ計算の枠組みに取り込もう、というものです。この計画は半分忘れてましたが、最近またちょっと考えてみました。過去にやったことをうまくまとめる方法を思いつきました。また、新しいことも少し分かってきました。この記事では、グラフィカル・ラムダ計算の全体像をキューブ〈立方体〉の図を使ってまとめます。今回強調したい話題のひとつは、小学校で習った掛け算に関する概念を、モノイド圏／2-圏の文脈で徹底的に復習することです。掛け算は大事… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2026%2F07%2F21%2F141206" title="カン・ラムダ:: Yet Another ラムダ・キューブ - 檜山正幸のキマイラ飼育記 (はてな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://www.chimaira.org/img6/kan-ext-and-lambda.png Hatena Blog https://hatena.blog 2026-07-21 14:12:06 rich https://m-hiyama.hatenablog.com/entry/2026/07/21/141206 1.0 100%