Enriched bifunctoriality symmetric monoidal category -functor について、その -functoriality とは、以下が成立することであった。 Partial application of enriched bifunctors 上記の および について、-functor: を次のように定義できる: 同様に につ…

Unit enriched category Monoidal category について unit -category: を次のように定義できる: *1 Monoidal product of enriched categories symmetric monoidal category: -category: について、-category: を次のように定義できる: Monoidal product of e…

Opposite enriched category symmeric monoidal category: -category: について、opposite -category: を次のように定義できる: Opposite enriched functor -functor について、opposite -functor: を次のように定義できる: Opposite enriched natural trans…

Enriched functor -category について、-functor: とは、-morphism の族: で、-functoriality: を満たすもの(添字略)。 Identity enriched functor -category について identity -functor: を次のように定義できる: Composite enriched functor -functor: に…

Enriched category Monoidal category について -category とは 集合: -object の族: -morphism の族: -morphism の族: から成る代数的構造で、もろもろの coherence axiom を満たすもの。 String diagram にて ひもの左右にタグが付いている 二本のひもが束…