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í.
Zdroj
Poslední aktualizace obsahu: 2023-12-30 12:06:53
Zdroj: Wikipedia (autoři článku Monoidální kategorie)
Licence textu: CC-BY-SA-3.0 Unported
Tento článek byl automaticky přejat z Wikipedie. Na obrázcích nebyly provedeny žádné změny. Obrázky se zobrazují ve zmenšené velikosti (jako miniatury). Kliknutím na obrázek získáte další informace o autorovi a licenci. Byly změněny prvky designu, odstraněny některé odkazy specifické pro Wikipedii (např. odkazy na Editaci a nebo na neexistující hesla) a provedena optimalizace pro rychlé načítání.