Dinatural transformation

Dinatural transformation

In category theory, a dinatural transformation α between two functors

S,T : \mathrm{C}^{\mathrm{op}}\times\mathrm{C}\to\mathrm{X},

written

\alpha : S\ddot\to T,

is a function which to every object c of C associates an arrow

\alpha_c : S(c,c)\to T(c,c) of X

and satisfies the following coherence property: for every morphism f:c\to c' of C the diagram

Dinatural transfo1.png

commutes.

The composition of two dinatural transformations need not be dinatural.

External links



Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • End (category theory) — Not to be confused with the use of End to represent (categories of) endomorphisms. In category theory, an end of a functor is a universal dinatural transformation from an object e of X to S. More explicitly, this is a pair (e,ω), where e is an… …   Wikipedia

  • Closed category — In category theory, a branch of mathematics, a closed category is a special kind of category. In any category (more precisely, in any locally small category), the morphisms between any two given objects x and y comprise a set, the external hom (x …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”