カテゴリー: Topos Theory

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

ウィリアム・ローウィア（Francis William Lawvere、1937年2月9日 – 2023年1月23日）は、アメリカ合衆国の数学者であり、圏論、トポス理論、数学の哲学における先駆的な業績で知られています。​…
Read more