Proof — ∞-category theory
Statement
Higher Topos Theory and Higher Algebra: foundations of ∞-categories. Proved in ZFC.
Source
Breakthrough Prize in Mathematics 2015. Higher Topos Theory and Higher Algebra: foundations of ∞-categories. Proved in ZFC.
Domains
mathematics