This is an old revision of the document!
Locally small category
Collection
context | ${\mathfrak U}_\mathrm{Sets}$ … set universe |
definiendum | $\bf C$ in $\mathrm{it}$ |
inclusion | $\bf C$ … category |
postulate | $ {\bf C}[A,B] $ … ${\mathfrak U}_\mathrm{Sets}$-small set |