PS

Strong monads in String diagrams

Strong endofunctors in String diagrams - PS の続き・・・

Strong monad

 T : \mathcal{V} _ 0 \to \mathcal{V} _ 0 が strong functor であり、さらに monad:

  •  (T, \eta, \mu)

になっているとき、以下を満たすものを strong monad という:

f:id:mbps:20151130231330p:plain

参考文献