This is an old revision of the document!
Locally small category
Collection
definiendum | $\bf C$ in $\mathrm{it}$ |
inclusion | $\bf C$ … category |
postulate | $ {\bf C}[A,B] $ … small set |
Discussion
For the smallness predicate, see Set universe.
This is an old revision of the document!
definiendum | $\bf C$ in $\mathrm{it}$ |
inclusion | $\bf C$ … category |
postulate | $ {\bf C}[A,B] $ … small set |
For the smallness predicate, see Set universe.