再帰の圏論的表現。 Right trace Monoidal category において、natural transformation*1: で、もろもろの coherence 要件を満たすもの。その要件により right trace を次のように描ける: Right trace を持つ monoidal cateogry を right traced monoidal ca…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。