Strong monads in String diagrams
Strong endofunctors in String diagrams - PS の続き・・・
Strong monad
が strong functor であり、さらに monad:
になっているとき、以下を満たすものを strong monad という:
Strong endofunctors in String diagrams - PS の続き・・・
が strong functor であり、さらに monad:
になっているとき、以下を満たすものを strong monad という: