Author: nLab edit announcer Format: MarkdownItexdivision allegories are not actually examples; it only satisfies the weaker condition that $t \leq s/r \iff t \circ r \leq s$, rather than the (quasi)groupoid condition that $t = s/r \iff t \circ r = s$.
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/quasigroupoid/6">diff</a>, <a href="https://ncatlab.org/nlab/revision/quasigroupoid/6">v6</a>, <a href="https://ncatlab.org/nlab/show/quasigroupoid">current</a>
division allegories are not actually examples; it only satisfies the weaker condition that , rather than the (quasi)groupoid condition that .