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*

Link to graph
Log In
Improvements of the human condition