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
| definiendum | ${\bf C}$ in it |
| inclusion | ${\bf C}$ … category |
| forall | $A,B\in{\bf C}$ |
| forall | $f:{\bf C}[B,A]$ |
| postulate | $f$ … isomorphism |
Wikipedia: Groupoid
