- commutes. A
strict monoidal category is one for
which the
natural isomorphisms α, λ and ρ are identities.
Every monoidal category is
monoidally equivalent to...
- mathematics, a
commutativity constraint γ {\displaystyle \gamma } on a
monoidal category C {\displaystyle {\mathcal {C}}} is a
choice of
isomorphism γ...
-
Monoidal may
refer to:
Monoidal category,
concept in
category theory Monoidal functor,
between monoidal categories Monoidal natural transformation, between...
-
category theory,
monoidal functors are
functors between monoidal categories which preserve the
monoidal structure. More specifically, a
monoidal functor between...
- In
category theory, a
branch of mathematics, a
symmetric monoidal category is a
monoidal category (i.e. a
category in
which a "tensor product" ⊗ {\displaystyle...
- and ( D , ∙ , J ) {\displaystyle ({\mathcal {D}},\bullet ,J)} are two
monoidal categories and ( F , m ) : ( C , ⊗ , I ) → ( D , ∙ , J ) {\displaystyle...
-
especially in
category theory, a
closed monoidal category (or a
monoidal closed category) is a
category that is both a
monoidal category and a
closed category...
- {\displaystyle ({\mathcal {D}},\bullet ,J)} are two
monoidal categories. A
monoidal adjunction between two lax
monoidal functors ( F , m ) : ( C , ⊗ , I ) → ( D...
- In algebra, an
action of a
monoidal category S on a
category X is a
functor ⋅ : S × X → X {\displaystyle \cdot :S\times X\to X} such that
there are natural...
- In
category theory, a
branch of mathematics, a
monoidal monad ( T , η , μ , T A , B , T 0 ) {\displaystyle (T,\eta ,\mu ,T_{A,B},T_{0})} is a
monad ( T...
