- In mathematics, a
monoidal category (or
tensor category) is a
category C {\displaystyle \mathbf {C} }
equipped with a
bifunctor ⊗ : C × C → C {\displaystyle...
-
Monoidal may
refer to:
Monoidal category,
concept in
category theory Monoidal functor,
between monoidal categories Monoidal natural transformation, between...
- mathematics, a
commutativity constraint γ {\displaystyle \gamma } on a
monoidal category C {\displaystyle {\mathcal {C}}} is a
choice of
isomorphism γ...
-
category theory,
monoidal functors are
functors between monoidal categories which preserve the
monoidal structure. More specifically, a
monoidal functor between...
-
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...
- 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...
- for
monoidal categories, are
moreover required to hold: a
monoidal category is the same as a
bicategory with one 0-cell.
Consider a
simple monoidal category...
-
proven for
monoidal categories by Mac Lane, and it is
often possible to
derive strictifications from
coherence results and vice versa.
Every monoidal category...
- 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...
-
preadditive category is the
category Ab itself. More precisely, Ab is a
closed monoidal category. Note that
commutativity is
crucial here; it
ensures that the...