本日（2022-01-17）2投目の小ネタ。$`\newcommand{\cat}[1]{ \mathcal{#1} }`$ n-圏の過剰高次射と反転原理 負次元の圏と(N, m, n)-圏 上記2つの記事で、n-圏（n次元の圏）のk-射（k次元の射）の話をしました。通常の圏（つまり1-圏）の議論に高次圏は出てこ…

【注意】2022年3月より、MathJaxまたは「はてなブログ」の仕様変更またはバグにより、MathJax/XyJaxを使った数式・図が表示できなくなりました。そのため、一部の数式・図は表示できなくなっています（ソースコードが見えます）。新しいタブまたはウィンドウ…