Processing math: 100%

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

Refinement of

Link to graph
Log In
Improvements of the human condition