Missing Mathematics§1.1Priority #1
Category Theory Framing
Closed
The Gap
The Universal Language needed a categorical framing to enable universal properties and type-theoretic semantics.
Why It Matters
Category theory provides the mathematical language for describing universal structures. Without it, the UL's claims of universality were informal.
Resolution
Lang(Σ_UL) defined as a category; Erlangen hierarchy recast as forgetful functors with left adjoints.
Expedition Status
- Expedition:
- Expedition One
- Front:
- Front B
- Status:
- CLOSED
- Source:
- frontier/expedition-one/category-of-languages.md
Impact
critical
Tractability
high
Effort
medium
Category
mathematics