surface diagrams for a strong monad References. Monads on Symmetric Monoidal Closed Categories (Kock, 1970) Back: monads.