Volná monáda: Porovnání verzí

Přidáno 323 bajtů ,  před 2 lety
Rozšíření článku o matematický kontext
(+poznámka o použití)
(Rozšíření článku o matematický kontext)
{{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''