Pevný bod: Porovnání verzí

Přidáno 14 bajtů ,  před 4 lety
m
(+pevný bod v teorii kategorií)
m (→‎Teorie kategorií: oprava + link)
 
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 betbez podpory syntaxe.
 
== Související články ==