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