All Questions

A quandle is defined to be a set $Q$ with two binary operations $\star,\bar\star\colon\ Q\times Q\to Q$ for which the following axioms hold. Q1. a $\star$ a = a Q2. (a $\star$ b) $\bar\star$ b = (a $\...