(あるいは hom enriched functor かも) Enriched difunctor なる形の -bifunctor のこと(を個人的に)。 Enriched hom difunctor closed symmetric monoidal category: -category: について、hom -difunctor: *1 を次のように定義できる: Underlying 1-difunc…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。