===== Locally small category =====
==== Collection ====
| @#55CCEE: context     | @#55CCEE: ${\mathfrak U}_\mathrm{Sets}$ ... set universe |
| @#FFBB00: definiendum | @#FFBB00: $\bf C$ in $\mathrm{it}$ |
| @#AAFFAA: inclusion   | @#AAFFAA: $\bf C$ ... category |
| @#55EE55: postulate   | @#55EE55: $ {\bf C}[A,B] $ ... ${\mathfrak U}_\mathrm{Sets}$-small set |

-----
-----
=== Subset of ===
[[Categories]]
=== Requirements ===
[[Set universe]]
=== Requirements* ===
[[Categories]]