出典:Wikipedia
出典:『Wikipedia』 (2011/03/01 19:14 UTC 版)
In category theory, monoidal functors are functors between monoidal categories that "respect the monoidal structures". There are several different ways to interpret this, depending on whether we want the monoidal structure to be preserved strictly, or up to isomorphism, or up to a not-necessarily-invertible connecting map.