Monoidální kategorie: Porovnání verzí

Přidáno 44 bajtů ,  před 6 měsíci
m
+odkaz
m (Oprava vzorce)
m (+odkaz)
Monoidální kategorie umožňuje definici [[monoid|monoidálního objektu]], jakým jsou například algebraické monoidy v kategorii '''Set'''.
 
[[Endofunktor]]y spolu se skládáním a identitou tvoří monoidální [[kategorie endofunktorů|kategorii endofunktorů]], přičemž monoidy v ní jsou [[monáda (funkcionální programování)|monádami]] známými z funkcionálního programování.
 
[[Kategorie:Teorie kategorií]]