# 10.1 The category of sets

Recall that in \autorefcha:category-theory we defined the category^{} $\mathcal{S}et$ to consist of all $0$-types (in some universe^{} $\mathcal{U}$) and maps between them, and observed that it is a category (not just a precategory).
We consider successively the levels of structure^{} which $\mathcal{S}et$ possesses.

Title | 10.1 The category of sets |
---|---|

\metatable |