These are chat archives for non/algebra
emptyon Monoids (call neutral) or just live with empty.
Monoidwould be consistent with Haskell; let's have enrichment methods for the standard group terminology (
Voting actually to use
combine, ... in algebra.
Bandsticks like a sore thumb: I don't see why it should be included, while magmas, loops, racks and quandles, ... are omitted.
JoinSemilatticeprobably ought to be
def combine(a: T, b: T): Tis a magma by nature of the type signature
MeetSemilattice and JoinSemilattice probably ought to be Semilattices
Latticethat inherit both