10.1 The category of sets
Recall that in \autorefcha:category-theory we defined the category to consist of all -types (in some universe
) and maps between them, and observed that it is a category (not just a precategory).
We consider successively the levels of structure
which possesses.
Title | 10.1 The category of sets |
---|---|
\metatable |