 to it then what's described here. For the current state of using these kinds of things in FP there really isn't, but it's fascinating stuff on it's own.</p><p>Wikipedia actually has some pretty nice articles on abstract algebra that are accessible to people who don't have a strong background in math. Reading these is highly recommended:</p><ul><li><a href="https://en.m.wikipedia.org/wiki/Magma_(algebra)">Magma</a></li><li><a href="https://en.m.wikipedia.org/wiki/Semigroup">Semigroup</a></li><li><a href="ht