Přirozená transformace

V teorii kategorií je přirozená transformace způsob, jakým se navzájem transformují dva funktory mezi stejnými kategoriemi tak, že se zachovává vnitřní struktura (tzn. skládání morfismů) příslušných kategorií. Po kategoriích a funktorech jsou přirozené transformace jedním ze základních konceptů teorie kategorií, objevují se tedy ve většině jejích aplikací.

Definice editovat

Mějme dvě kategorie ${\mathcal {C}},{\mathcal {D}}$ a dva funktory mezi nimi: $F,G:{\mathcal {C}}\rightarrow {\mathcal {D}}$ . Přirozená transformace $\eta$ z $F$ do $G$ pak je soubor morfismů v kategorii ${\mathcal {D}}$ obsahující pro každé $X\in {\mathcal {C}}$ jednu složku $\eta _{X}:F(X)\rightarrow G(X)$ , přičemž pro každý morfismus $f:X\rightarrow Y$ (v kategorii ${\mathcal {C}}$ ) platí

G(f)\circ \eta _{X}=\eta _{Y}\circ F(f)

.

Tato podmínka vyjadřuje, že existuje následující komutativní diagram (zobrazující morfismy v kategorii ${\mathcal {D}}$ ):

Jinými slovy, definice přirozené transformace říká, že pro každý morfismus $f:X\rightarrow Y$ v kategorii ${\mathcal {C}}$ existuje v kategorii ${\mathcal {D}}$ právě jeden morfismus $F(X)\rightarrow G(Y)$ . V případě $f=1_{X}$ je tímto morfismem $\eta _{X}$ , obecně pak výsledný morfismus tvoří diagonálu ve výše zobrazeném komutativním diagramu, která je jednoznačná právě díky komutativnosti tohoto diagramu (a přirozenou transformaci pak lze chápat jako mapování morfismů na komutativní čtverce).

V případě, že složky $\eta _{X}$ jsou pro každé $X$ izomorfismem, označuje se $\eta$ jako přirozený izomorfismus (též přirozená ekvivalence nebo ekvivalence funktorů).

Příkladem izomorfismu používaným ve funkcionálním programování je

{\textrm {Hom}}(X\otimes Y,Z)\cong {\textrm {Hom}}(X,Z^{Y})

.

Skládání přirozených transformací editovat

Přirozené transformace lze též skládat; existují přitom dva způsoby, jakým na sebe mohou skládané transformace navazovat, podle běžného způsobu znázornění na diagramu se tyto dva způsoby skládání označují jako vertikální a horizontální:

Jsou-li $F,G,H:{\mathcal {A}}\rightarrow {\mathcal {A'}}$ tři funktory mezi danými dvěma kategoriemi a $\alpha :F\rightarrow G,\beta :G\rightarrow H$ přirozené transformace mezi těmito funktory, pak můžeme tyto dvě transformace složit (vertikálně), přičemž platí

(\beta \circ \alpha )_{X}=\beta _{X}\circ \alpha _{X}

.

Vertikální skládání je tedy asociativní a má identitu (identitní přirozenou transformaci transformující funktor sám na sebe). Díky tomu se lze pro každou dvojici kategorií dívat na soubor všech funktorů spolu s přirozenými transformacemi mezi nimi jako na kategorii; viz kategorie funktorů.

Vedle toho můžeme definovat také horizontální skládání: máme-li dvě dvojice funktorů $F,G:{\mathcal {A}}\rightarrow {\mathcal {A'}}$ a $F',G':{\mathcal {A'}}\rightarrow {\mathcal {A''}}$ a dvě odpovídající přirozené transformace $\alpha :F\rightarrow G$ a $\alpha ':F'\rightarrow G'$ , můžeme jejich horizontálním složením získat přirozenou transformaci $(\alpha '*\alpha ):F'\circ F\rightarrow G'\circ G$ mezi složenými funktory, jež je vzhledem k vlastnostem přirozených transformací dobře definovaná.

Horizontální a vertikální skládání lze kombinovat, neboť platí

(\beta '\circ \alpha ')*(\beta \circ \alpha )=(\beta '*\beta )\circ (\alpha '*\alpha ):F'\circ F\rightarrow H'\circ H

Funkcionální programování editovat

Ve funkcionálním programování odpovídají funktorům (přesněji endofunktorům v kategorii typů daného programovacího jazyka a funkcí mezi nimi) generické typy, které poskytují operaci fmap mapující funkce na funkce. Přirozenou transformací pak je generická funkce mapující dva generické typy mezi sebou. Pokud například existují generické typy List<T> a Set<T>, odpovídá přirozené transformaci generická funkce List<T> → Set<T>. Podmínka komutativnosti přirozené transformace pak znamená, že dvě možnosti, jak provést konverzi např. z List<int> na Set<string> (buď nejprve zkonvertovat List<int> na List<string> pomocí fmap a následně zkonvertovat List<string> na Set<string> pomocí generické funkce pro transformaci, anebo naopak nejprve ztransformovat List<int> na Set<int> a poté aplikovat fmap pro konverzi Set<int> na Set<string>) musí dát stejný výsledek.

Přirozené transformace jsou také nedílnou součástí definice monád a monadických operátorů.

Reference editovat

LEINSTER, Tom. Basic Category Theory. Cambridge: Cambridge University Press, 2014. (Cambridge Studies in Advanced Mathematics; sv. 143). Bibcode 2016arXiv161209375L. arXiv:1612.09375 [math.CT]. Kapitola 1.3 Natural transformations, s. 27–38.