theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between...

Cat (equipped with the monoidal structure induced by the cartesian product). Monoidal functors are the functors between monoidal categories that preserve...

enriched functor, etc... reduce to the original definitions from ordinary category theory. An enriched category with hom-objects from monoidal category...

applicative functor, or an applicative for short, is an intermediate structure between functors and monads. In Category Theory they are called Closed Monoidal Functors...

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic...

internal product functor defining a monoidal category. The isomorphism is natural in both X and Z. In other words, in a closed monoidal category, the internal...

Monoidal may refer to: Monoidal category, concept in category theory Monoidal functor, between monoidal categories Monoidal natural transformation, between...

symmetric monoidal, and moreover, (Ste, ⊛ {\displaystyle \circledast } ) is a closed symmetric monoidal category with the internal hom-functor ⊘ {\displaystyle...

A closed monoidal category is a monoidal category C {\displaystyle {\mathcal {C}}} such that for every object B {\displaystyle B} the functor given by...

relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in...