This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Monoidal natural transformation" – news · newspapers · books · scholar · JSTOR(December 2009) (Learn how and when to remove this message)
Suppose that and are two monoidal categories and
and
are two lax monoidal functors between those categories.
A monoidal natural transformation
between those functors is a natural transformation between the underlying functors such that the diagrams
and
commute for every objects and of (see Definition 11 in [1]).
A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.
^Baez, John C. "Some Definitions Everyone Should Know" (PDF). Retrieved 2 December 2014.
and 27 Related for: Monoidal natural transformation information
Definition 11 in ). A symmetric monoidalnaturaltransformation is a monoidalnaturaltransformation between symmetric monoidal functors. Baez, John C. "Some...
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 Monoidalnaturaltransformation, between...
functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a naturaltransformation and a morphism...
In category theory, a branch of mathematics, a naturaltransformation provides a way of transforming one functor into another while respecting the internal...
{\displaystyle \varepsilon :F\circ G\Rightarrow 1_{\mathcal {D}}} are monoidalnaturaltransformations. Suppose that ( F , m ) : ( C , ⊗ , I ) → ( D , ∙ , J ) {\displaystyle...
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...
a lax monoidal functor and the naturaltransformations η {\displaystyle \eta } and μ {\displaystyle \mu } are monoidalnaturaltransformations. In other...
Cartier divisor. A blowup can also be called monoidaltransformation, locally quadratic transformation, dilatation, σ-process, or Hopf map. The simplest...
A more modern view is that it is the tensors' structure as a symmetric monoidal category that encodes their most important properties, rather than the...
to D. A naturaltransformation is a relation between two functors. Functors often describe "natural constructions" and naturaltransformations then describe...
mathematical field of category theory, a dagger symmetric monoidal category is a monoidal category ⟨ C , ⊗ , I ⟩ {\displaystyle \langle \mathbf {C} ...
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 Hom...
_{H}:H\otimes I\to H} are the naturaltransformations of associativity, and of the left and the right units in the monoidal category ( C , ⊗ , I , α , λ...
In category theory, a natural numbers object (NNO) is an object endowed with a recursive structure similar to natural numbers. More precisely, in a category...
category of sets is closed monoidal, but so is the category of vector spaces, giving the notion of bilinear transformation above. Arity Clarke, Bertrand;...
language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal language, linear type systems, are suitable...
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...
{\displaystyle \mathbb {K} -\mathrm {SVect} } is a monoidal category with the super tensor product as the monoidal product and the purely even super vector space...
More generally, any monoidal closed category is a closed category. In this case, the object I {\displaystyle I} is the monoidal unit. Eilenberg, S.;...
theory, a strong monad over a monoidal category (C, ⊗, I) is a monad (T, η, μ) together with a naturaltransformation tA,B : A ⊗ TB → T(A ⊗ B), called...
provides a natural complement to the language of category theory, as discussed below. This is because categories, and specifically, monoidal categories...
a traced monoidal category is a category with some extra structure which gives a reasonable notion of feedback. A traced symmetric monoidal category is...
In set theory, morphisms are functions; in linear algebra, linear transformations; in group theory, group homomorphisms; in analysis and topology, continuous...
{\displaystyle f:N\to M} in C {\displaystyle {\mathcal {C}}} to the naturaltransformation Δ ( f ) : Δ ( N ) → Δ ( M ) {\displaystyle \Delta (f):\Delta (N)\to...