∞-groupoids — The Category Path
Node
∞-groupoids (Theory) in The Category Path. Era: 1980s–2010s. Formula: Types as spaces, HoTT. Origin axiom of path: Category theory. Modern reach: ∞-category · Derived algebraic geometry.
∞-groupoids (Theory) in The Category Path. Era: 1980s–2010s. Formula: Types as spaces, HoTT. Origin axiom of path: Category theory. Modern reach: ∞-category · Derived algebraic geometry.
Canonical: https://axiom.tanaakk.com/lineage/category-path/infinity-groupoids/