2022-01-06 高次圏の原理 圏一般論 高次圏論 セミナー 切り捨て原理 -- 切り捨てても圏 離散化原理 -- 離散化しても圏 モノイド原理 -- 対象が1つならモノイド ホム原理 -- ホムは次元が1下がる エンド原理(追加)-- n-圏のエンドシングはモノイド(n - 1)-圏になる 階層原理 -- 圏の次元とサイズランク 反転原理 エクマン/ヒルトン可換性原理(追加)