Framework
Overview
Frameworks: foundational structures such as ZFC, HoTT, ETCS, and gauge theory.
Entries
- Lie's Gauge / Gauge Theory
- Periodic Table
- Least Action Principle / Hamilton's Principle
- Dissipation Mechanism
- Set Theory
- Martin-Löf Type Theory (MLTT)
- HoTT
- Univalence
- Higher Inductive Types (HITs)
- Constructive Mathematics
- ETCS
- Category Theory
- Schema
- Étale cohomology
- Topos theory
- Motives
- Derived category
- Force Description
- Turing machine
- AlphaProof
- Digital axiomatization of mathematics
- Lean formalization culture
- PLONK
- STARKs
- Complexity Theory
- Energy Landscape
- Perfectoid spaces
- Scholze's diamond
- ∞-groupoids
- Amplituhedron
- ∞-category
- P-adic numbers
- Calabi–Yau manifold
- Cayley–Dickson construction
- Thurston's 8 Model Geometries
- IAS Permanent Faculty & Emeritus (58-cohort index)