Kategoria monoidalna

Ten artykuł jest zarysem dotyczącym matematyki .

Możesz dzielić się swoją wiedzą doskonaląc ją ( jak? ) Zgodnie z zaleceniami odpowiednich projektów .

W matematyce , o monoidal kategorią jest kategoria wyposażona bifunctor która uogólnia pojęcie tensora produktu dwóch algebraicznych struktur . Intuicyjnie jest to analogia na poziomie kategorii do pojęcia monoidu , to znaczy, że bifunktor pełni rolę pewnego rodzaju mnożenia dla obiektów kategorii.

Definicja

Kategoria monoidalna to kategoria opatrzona:

Warunki koherencji dla tych naturalnych przekształceń wyraża przemienność poniższych diagramów , zwana odpowiednio tożsamością trójkąta i tożsamością pięciokąta.

Kategoria monoidalna triangle.svg

Kategoria monoidalna pentagon.svg

Przykłady

Uwagi i referencje

Powiązane artykuły