Strength
(Strong monads in String diagrams - PS を更新) Strong monad Strong endofunctors in string diagrams rev.2 - PS Monads in string diagrams - PS で以下を満たすもの: Coherence (これは合っている気がする) 参考文献 Comonadic Notions of Computation
Open box の記法を使って Strong endofunctors in String diagrams - PS を更新。 Strength Naturality Coherence condition 参考文献 Comonadic Notions of Computation