Bifunctor Domainがproduct categoryになっているfunctorのこと。 Partial application bifunctor -object について、functor: を定義できる。同様にして、functor: を定義できる。 命題 Natural in both X and Y Morphism族 がnaturalということ。 命題 bif…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。