Monads in the string diagram notation. The unit and associativity identities as topological moves.
No download links available.