Monoidální kategorie
Vzhled
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í.