Natural transformation Category について、natural transformation: とは、以下から成る代数的構造 である: functor: (domain) functor: (codomain) -morphism族: (components) *1 これらは次の要件をみたさなければならない: *2 (naturality) Natural tra…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。