locally_small_category

Locally small category

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