Thin category
Collection
definiendum | C in it |
inclusion | C … category |
for all | A,B:ObC |
for all | f,g:C[A,B] |
postulate | f=g |
Discussion
Miau! rMWtL_YOyrg
Reference
nLab: Thin category
definiendum | C in it |
inclusion | C … category |
for all | A,B:ObC |
for all | f,g:C[A,B] |
postulate | f=g |
Miau! rMWtL_YOyrg
nLab: Thin category