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 |
Subset of
Requirements
Requirements*
