thin_category

Processing math: 100%

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