Monoidální kategorie: Porovnání verzí
Smazaný obsah Přidaný obsah
m Oprava vzorce |
m +odkaz |
||
Řádek 3:
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í]]
| |||