Dinaturální transformace - Dinatural transformation - Wikipedia

v teorie kategorií, pobočka matematika, a dinaturální transformace ${ displaystyle alpha}$ mezi dvěma funktory

${ displaystyle S, T: C ^ { mathrm {op}} krát C až X,}$

psaný

${ displaystyle alpha: S { ddot { to}} T,}$

je funkce, která každému objektu C z C přidruží šipku

${ displaystyle alpha _ {c}: S (c, c) až T (c, c)}$ z X

a splňuje následující soudržnost majetku: pro každý morfismus ${ displaystyle f: c až c '}$ z C diagram

dojíždí.^[1]

Složení dvou dinaturních transformací nemusí být dinaturální.

Viz také

• Mimopřirozená transformace
• Přirozená transformace

Reference

externí odkazy

• dinaturální transformace na n-Category Lab.

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.