File:Lax monoidal functor associative.svg
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 438 × 238 pixels. Other resolutions: 320 × 174 pixels | 640 × 348 pixels | 1,024 × 556 pixels | 1,280 × 696 pixels | 2,560 × 1,391 pixels.
Original file (SVG file, nominally 438 × 238 pixels, file size: 34 KB)
File information
Structured data
Captions
Summary
[edit]DescriptionLax monoidal functor associative.svg |
English: svg version of Lax_monoidal_funct_assoc.png |
Date | |
Source | Own work |
Author | IkamusumeFan |
Other versions |
LaTeX Source Code
[edit]% One needs PDF2SVG to generate the SVG graph.
% Author: Smimram, Danneks, Ika
% Update Date: 11/22/2014
\documentclass{amsart}
\usepackage[paperwidth=350px, paperheight=190px, top=-12px, left=0px, right=0px, bottom=0px]{geometry}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\Huge
\[
\xymatrix@C+1em@R+1em{
(FA \bullet FB) \bullet FC \ar[d]_{\phi_{A,B}\bullet 1} \ar[r]^{\alpha_{\mathcal{D}}} & FA \bullet (FB \bullet FC) \ar[d]^{1 \bullet \phi_{B,C}}\\
F(A \otimes B) \bullet FC \ar[d]_{\phi_{A\otimes B,C}} & FA \bullet F(B \otimes C)\ar[d]^{\phi_{A,B \otimes C}}\\
F((A \otimes B) \otimes C) \ar[r]_{F\alpha_{\mathcal{C}}} & F(A \otimes(B \otimes C))
}
\]
\end{document}
Licensing
[edit]I, the copyright holder of this work, hereby publish it under the following license:
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 08:11, 22 November 2014 | 438 × 238 (34 KB) | IkamusumeFan (talk | contribs) | User created page with UploadWizard |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Width | 350pt |
---|---|
Height | 190pt |
Hidden categories: