| ID | 612f0730-7a74-4ab4-8d6f-fa684be7c87a |
|---|---|
| DeertopiaVisibility | public |
Locally-small category (category theory)
A locally-small category is a category whose homsets are all truly sets rather than classes.
| ID | 612f0730-7a74-4ab4-8d6f-fa684be7c87a |
|---|---|
| DeertopiaVisibility | public |
A locally-small category is a category whose homsets are all truly sets rather than classes.