Zoran Skoda monoidalna kategorija

Monoidalna kategorija je kategorija $C$ na kojoj je zadana dodatna struktura tenzorskog produkta, tj. bifunktora (funktor u svakoj varijabli) $\otimes : C\times C\to C$ koji je asocijativan do na izomorfizam i koji ima jedinični objekt $\mathbf{1}$ do na izomorfizam. Spomenuti izomorfizmi su pri tome zadani, prirodni u svakom argumentu i zadovoljavaju koherencije.

Primjer: kategorija vektorskih prostora nad fiksnim poljem $k$, gdje je tenzorski produkt obični tenzorski produkt vektorskih prostora, a samo polje $k$ kao 1-dimenzionalni vektorski prostor jedinični objekt za $\otimes$.

Detalji su u $n$Labu: monoidal category.