マンダラ仮説は僕の作業仮説。だいたいはこういうこと； 計算科学に出てくる構造は、いたるところに無闇とたくさんの高次圏が含まれるであろう。マンダラ仮説を前提とするなら（僕は当然に前提としている）、高次圏は必須。だが、高次圏は全然マジメにやって…

関連するエントリーは次： (仮称)一様性二重圏 セリンガーのND補題 一様性を持つ部分トレース付き圏の周辺 一様性を持つ部分トレース付き圏（partially traced category with uniformity） 一様性原理 次の言葉を使う。 一様射（uniform morphism）セリンガ…