カテゴリー: Zero Field™

Groundismにおける圏論をHoTT(Homotopy Type Theory)、n,∞-圏論(n, Infinity Category Theory), ∞-groupoid（∞-群、高次群体）により階層化する。前…
Read more