Octocurious

Home

❯

Eckmann Hilton Theorem

Eckmann-Hilton Theorem

22 Feb 20261 min read

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

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


Graph View

Backlinks

  • Homotopy Type Theory

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community