Image:Lax monoidal funct right unit.png
From Wikipedia, the free encyclopedia
No higher resolution available.
Lax_monoidal_funct_right_unit.png (229 × 120 pixel, file size: 4 KB, MIME type: image/png)
[edit] Summary
Coherence law for right unit of lax monoidal functors
[edit] Licensing
I, the creator of this work, hereby release it into the public domain. This applies worldwide.
In case this is not legally possible,
I grant any entity the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
[edit] TeX source
\documentclass{article}
\usepackage{xy}
\xyoption{all}
\newcommand{\C}{\mathcal C}
\newcommand{\D}{\mathcal D}
\begin{document}
\thispagestyle{empty}
\[
\xymatrix{
FA\bullet I_\D\ar[d]_{\rho_\D}\ar[r]^{1\bullet\phi}&FA\bullet FI_\C\ar[d]^{\phi_{A,I_\C}}\\
FA&\ar[l]^{F\rho_\C}F(A\otimes I_\C)
}
\]
\end{document}
File history
Legend: (cur) = this is the current file, (del) = delete
this old version, (rev) = revert to this old version.
Click on date to download the file or see the image uploaded on that date.
- (del) (cur) 22:13, 24 March 2006 . . Smimram (Talk | contribs) . . 229×120 (4,403 bytes) (Coherence law for right unit of lax monoidal functors)
- Edit this file using an external application
See the setup instructions for more information.
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):
