Octocurious

Home

❯

Unit Interval

Unit Interval

01 Mar 20261 min read

Definition

The interval is short for the closed real interval I=[0,1].


Graph View

Backlinks

  • Contractibility
  • Cubical Type Theory
  • Homotopy

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community