Monoidální kategorie

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

Monoidální (tenzorová) kategorie je kategorie s bifunktorem (zvaným tenzorový produkt) a jednotkovým prvkem takovými, že existují přirozené isomorfismy , , ( se nazývá asociátor a levý (pravý) unitor).

Monoidální kategorie umožňuje definici monoidálního objektu, jakým jsou například algebraické monoidy v kategorii Set.

Endofunktory spolu se skládáním a identitou tvoří monoidální kategorii endofunktorů, přičemž monoidy v ní jsou monádami známými z funkcionálního programování.