Quartz 4
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Wild Category
Wild Category
Feb 11, 2026
1 min read
In
HoTT
, a wild Category is a
category
that may not be a
hSet
.
Graph View