Welcome to fletrix.com on July 6 2009.
This is an internet experiment running to monitor browsing habbits of individuals through wikipedia contents.

Monoidal natural transformation

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Suppose that (\mathcal C,\otimes,I) and (\mathcal D,\bullet, J) are two monoidal categories and

(F,m):(\mathcal C,\otimes,I)\to(\mathcal D,\bullet, J) and (G,n):(\mathcal C,\otimes,I)\to(\mathcal D,\bullet, J)

are two lax monoidal functors between those categories.

A monoidal natural transformation

\theta:(F,m)\Rightarrow(G,n)

between those functors is a natural transformation \theta:F\Rightarrow G between the underlying functors such that the diagrams

Image:Monoidal_nat_transfo_mult.png and Image:Monoidal_nat_transfo_unit.png

commute for every objects A and B of \mathcal C.

A symmetric monoidal natural transformation is a monoidal natural transformation between symmetric monoidal functors.

Personal tools

Visit joltnews for the latest headlines
Visit bloit.com for company information
Geed Media does computer consulting on long island.
This page viewed times. See Logs