Přirozená transformace: Porovnání verzí
Smazaný obsah Přidaný obsah
první verze |
m +programovací jazyky |
||
Řádek 13:
Naopak je-li <math>\eta:F \rightarrow G</math> pro <math>F,G:C \rightarrow D</math> a <math>\varepsilon:J \rightarrow K</math>
pro <math>J,K:D \rightarrow E</math>, pak existuje <math>(\varepsilon\eta)_X:JF \rightarrow KG</math>, jež je vzhledem k vlastnostem přirozených transformací dobře definovaná.
==Programovací jazyky==
V programovacích jazycích odpovídají generickým typům funktory, pokud poskytují operaci ''fmap'' mapující funkce na funkce. Přirozenou transformací typu ''T'', jsou-li dány například generické typy ''List<T>'' and ''Set<T>'', je generická funkce ''List<T>→Set<T>''. V tomto kontextu existují pouze vertikální přirozené transformace.
| |||