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...

that there exists a K-linear exact and faithful tensor functor (i.e., a strong monoidal functor) F from C to the category of finite dimensional L-vector...

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...

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

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

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

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