Thin category
Collection
| definiendum | ${\bf C}$ in it |
| inclusion | $\bf C$ … category |
| for all | $A,B:\mathrm{Ob}_{\bf C}$ |
| for all | $f,g:{\bf C}[A,B]$ |
| postulate | $f=g$ |
Discussion
Miau! rMWtL_YOyrg
Reference
nLab: Thin category
Refinement of
| definiendum | ${\bf C}$ in it |
| inclusion | $\bf C$ … category |
| for all | $A,B:\mathrm{Ob}_{\bf C}$ |
| for all | $f,g:{\bf C}[A,B]$ |
| postulate | $f=g$ |
Miau! rMWtL_YOyrg
nLab: Thin category
