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