最近、プライベートに という記法を使っていて具合がいいので、これについて説明します。内容： 圏＝n-圏 n-離散圏と圏の離散化 圏の切り捨て 圏の次元調整 次元調整記法の使い方事例 次元を上げる例 次元を下げる例 高次元部分が不明な例 圏＝n-圏単に「圏…