Pevný bod: Porovnání verzí
Smazaný obsah Přidaný obsah
+pevný bod v teorii kategorií |
m →Teorie kategorií: oprava + link |
||
Řádek 9:
V [[teorie kategorií|teorii kategorií]] je pevným bodem endofunktoru <math>F</math> nad <math>\mathcal{C}</math> objekt <math>A</math> takový,
že platí <math>A \cong FA</math>. Podle [[Lambek]]ovy věty je počáteční objekt v kategorii [[F-algebra|<math>F</math>-algeber]] pevným bodem,
platí tedy <math>\mu F \cong F \mu F</math>. Tohoto faktu se využívá ve funkcionálním programování k definici rekurzivních datových struktur
== Související články ==
|