Octocurious
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
hSet
hSet
01 Mar 2026
1 min read
“
homotopy
set”: All
identity types
are
propositional
.
Graph View
Backlinks
Connectedness (HoTT)
Hedberg's Theorem
Homotopy Type Theory
Quotient
Truncation
Universal QIIT
Wild Category