Strong monad Monoidal category: について、もろもろのcoherence conditionを満たす monad: natural transformation: (strength) のペアのこと。 命題 monoidal category: monad: について、 とすれば、 はstrength。 証明 に注意する。 系 同様にして、Has…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。