# 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