File:Monad unit explicit.svg
Jump to navigation
Jump to search
Original file (SVG file, nominally 284 × 190 pixels, file size: 28 KB)
Summary
| Description |
English: unit property in a monad |
| Date | |
| Source | Own work |
| Author | Gunther |
| Other versions |
|
LaTeX Source Code
% Author: Ika
% Date: 11/11/2014
\documentclass{amsart}
\usepackage[paperwidth=227px, paperheight=152px, top=0cm, left=0cm, right=0cm, bottom=0cm]{geometry}
\usepackage{amsmath,amssymb,nopageno}
\usepackage[all]{xy}
\begin{document}
\Huge
\[
\xymatrix@C+1em@R+2em{
T(X) \ar^{\eta_{T(X)}}[r] \ar@{=}[rd] \ar_{T(\eta_X)}[d] & T(T(X)) \ar^{\mu_X}[d]\\
T(T(X)) \ar_{\mu_X}[r] & T(X)
}
\]
\end{document}
Licensing
|
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 09:41, 11 November 2014 | | 284 × 190 (28 KB) | wikimediacommons>IkamusumeFan | rescale again to fix the article context |
File usage
There are no pages that use this file.
