Monoidní přirozená transformace - Monoidal natural transformation
![]() | tento článek potřebuje další citace pro ověření.Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Předpokládejme to a jsou dva monoidní kategorie a
- a
jsou dva laxní monoidální funktory mezi těmito kategoriemi.
A monoidní přirozená transformace
mezi těmito funktory je přirozená transformace mezi podkladovými funktory tak, že diagramy
a
dojíždět za všechny objekty a z (viz Definice 11 v [1]).
A symetrická monoidní přirozená transformace je monoidní přirozená transformace mezi symetrické monoidální funktory.
Reference
- ^ Baez, John C. „Některé definice, které by měl každý vědět“ (PDF). Citováno 2. prosince 2014.