Octocurious
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Unit Interval
Unit Interval
01 Mar 2026
1 min read
Definition
The
interval
is short for the
closed
real
interval
I
=
[
0
,
1
]
.
Graph View
Backlinks
Contractibility
Cubical Type Theory
Homotopy