Octocurious

Home

❯

Eckmann Hilton Theorem

Eckmann-Hilton Theorem

13 May 20261 min read

The composition operator on the second loop-space Ω2 is commutative:

Let ⋅:Ω2(A)×Ω2(A)→Ω2(A), then α⋅β=β⋅α.


Graph View

Backlinks

  • Homotopy Type Theory

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community