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