groupoid

Groupoid

Collection

definiendum	${\bf C}$ in it
inclusion	${\bf C}$ … category
forall	$A,B\in{\bf C}$
forall	$f:{\bf C}[B,A]$
postulate	$f$ … isomorphism

Discussion

Reference

Wikipedia: Groupoid

Parents

Requirements