[barberpole]

> Leibniz's monads [...]have nothing in common with category theory monads except the name.[0]

The monad is something about which you can reason but you cannot look inside because it is windowless. No quibbling, please.