The notion that recovers functors as monoid homomorphisms is instead that of monoid in a double category. Tags: Monad, Span
