カテゴリー: Higher Topos Theory HTT

最も広範な記述言語である ∞-Category を頂点とし、特定の公理や制約、あるいは「幾何学的な付加構造」によって各階層を定義します。 1. ∞-Category (Quasi-category) 【ことわりの全域】 …
Read more

∞-Groupoid（無限次亜群 / インフィニティ・グルーポイド）は、現代数学において「空間」と「代数的な構造」を同一視するための最も重要な概念の一つです。 「対象（点）」と「その間の道（パス）」、さらに「道と道の間の…
Read more

Higher Topos Theory（高次トポス理論）は、アレクサンドル・グロタンディークが基礎を築いた「トポス論」を、ジェイコブ・ルーリー（Jacob Lurie）が高次圏論（∞-category）の枠組みで再構築し…
Read more

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

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