The Category Path

Overview

The Category Path traces from Category theory to ∞-category · Derived algebraic geometry. Density: extremely high.

Nodes

• Category theory
• ∞-groupoids
• ∞-category

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People