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

Locally small category