Quartz 4
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
hSet
hSet
Dec 08, 2025
1 min read
“Homotopy set”: All identity types are
propositional
.
Graph View
Backlinks
Connectedness (HoTT)
Hedberg's Theorem
Truncation
Universal QIIT
Wild Category