Volná monáda: Porovnání verzí
Smazaný obsah Přidaný obsah
+poznámka o použití |
Rozšíření článku o matematický kontext |
||
Řádek 1:
{{Neověřeno}}
'''Volná monáda''' je v [[teorie kategorií|teorii kategorií]] [[monáda]] vytvořená z [[funktor]]u s nejvolnější možnou strukturou. Na rozdíl od "běžných" monád nereprezentuje žádný sekvenční výpočet a lze ji "rozbalit", tj. získat v ní "zabalenou" hodnotu.
Volná monáda je počátečním objektem v kategorii monád, tj. do každé monády z ní vede právě jeden [[morfismus]]. Morfismus <math>f:M\rightarrow M'</math> je morfismem mezi monádami, pokud platí <math>\eta'=f\circ \eta</math> a <math>f\circ\mu=\mu'\circ(f\otimes f)</math>.
==Funkcionální programování==
V [[Haskell]]u je typ volné monády nad funktorem ''f''
| |||