圏の次元調整〈dimension adjustment〉という概念を出したのは次の記事でした。 圏の離散化、切り捨て、次元調整（MathJax数式がうまくレンダリングされないときは、ページリロードで表示されると思います。） まず前提として、すべての圏は無限次元圏だと考…