Strength monoidal category: endofunctor: について、strength for とは、natural transformation: で *1 を満たすもの。 Strong endofunctor 上記のようにstrengthを持つendofunctorのこと。 用語がlax(普通のmonoidal functor)に対するstrongと被っている…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。