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
Categories
Requirements
Set universe
Requirements*
Categories