Is Clojure pervasively monodic?

A monoid is…

1. A set, S
2. An operation, • : S × S -> S
3. An element of S, e : 1 -> S

…satisfying these laws:

1. (a • b) • c = a • (b • c), for all a, b and c in S
2. e • a = a = a • e, for all a in S

Continue reading →