最近、高次圏の話をいくつか書いてますが、高次圏そのものに興味を持ったというより、高次圏と向き合わざるを得ない感じなのです。 マイクロコスモ原理の問題がけっこうシリアスで、なんとか回避したいのですが、どうもスッキリとは解決できないんです。仏教に帰依しようか … なんてね。 内容: マイクロコスモ原理 無限後退は回避されるのか マックレーンの五角形で試してみると 五角形の等式を検証 モノイドの定義が先送りされる構造 逆帰納ステップ 逆帰納ステップを止める手段 内部からの視点だけで処理すること マイクロコスモ原理 過去に何度か触れてますが、もう一度、マイクロコスモ原理の短い説明を引用しておきます。 https://ncatlab.org/nlab/show/microcosm+principle Microcosm principle: Certain algebraic structures