Processing math: 100%

Groupoid

Collection

definiendum C in it
inclusion C … category
forall A,B∈C
forall f:C[B,A]
postulate f … isomorphism

Discussion

Reference

Wikipedia: Groupoid

Parents

Requirements

Isomorphism

Link to graph
Log In
Improvements of the human condition
limeGraphxioms