カテゴリー: Higher Topos Theory

ルーリー（Lurie）のいう infinitude（無限性） と、ヴォエヴォドスキーの Univalent Foundations（一価性基礎付け） を結びつける背景は「局所（Local）から全域（Global）への無限…
Read more

IAS（プリンストン高等研究所）の物理学、特に弦理論（String Theory）や量子重力、ホログラフィー原理（AdS/CFT）を研究している層において、ヴォエヴォドスキーやルーリーの数学的基盤が「OS」のように機能し…
Read more

エミー・ネーター（Emmy Noether）の功績は大きく分けて2つの柱があります。1つは物理学の根幹を成す「ネーターの定理」、もう1つは現代数学の景色を塗り替えた「抽象代数学(abstract algebra)」の確立…
Read more

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

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