File:CategoryBraiding-02.png
Jump to navigation
Jump to search
Size of this preview: 362 × 266 pixels. Other resolution: 320 × 235 pixels.
Original file (362 × 266 pixels, file size: 9 KB, MIME type: image/png)
Summary
 | This image shows some kind of formula that could be converted to TeX. Storing formulas as images makes it harder to change them. TeX also helps making sure that they all use the same font and size. A replacement has been proposed. In your article, replace the image with this code. <math>\begin{array}{c}
A \otimes (B \otimes C) \xrightarrow{\quad \gamma \quad} (B \otimes C) \otimes A\\
{}^\alpha\nearrow \quad \quad \quad \quad \quad \quad \quad \searrow^\alpha \\
(A \otimes B) \otimes C \quad \quad \quad \quad \quad \quad \quad B \otimes (C \otimes A) \\ {}_{\gamma \otimes 1}\searrow \quad \quad \quad \quad \quad \quad \quad \nearrow_{1 \otimes \gamma} \\
(B \otimes A) \otimes C \xrightarrow[\quad \alpha \quad]{} B \otimes (A \otimes C)
\end{array}</math> |  |
![{\displaystyle {\begin{array}{c}A\otimes (B\otimes C)\xrightarrow {\quad \gamma \quad } (B\otimes C)\otimes A\\{}^{\alpha }\nearrow \quad \quad \quad \quad \quad \quad \quad \searrow ^{\alpha }\\(A\otimes B)\otimes C\quad \quad \quad \quad \quad \quad \quad B\otimes (C\otimes A)\\{}_{\gamma \otimes 1}\searrow \quad \quad \quad \quad \quad \quad \quad \nearrow _{1\otimes \gamma }\\(B\otimes A)\otimes C{\xrightarrow[{\quad \alpha \quad }]{}}B\otimes (A\otimes C)\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea5b9ce7cddc07f8e2b23806e6fc30d0ed91ac4d)
| Description |
English: Commuative diagram defining a braided monoidal category. |
|||
| Date | ||||
| Source | Own work | |||
| Author | Fropuff~commonswiki | |||
| Other versions |
|
Licensing
|
This work has been released into the public domain by its author, Fropuff~commonswiki. This applies worldwide. In some countries this may not be legally possible; if so: Fropuff~commonswiki grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
TeX source
\begin{diagram}[vtrianglewidth=2.1em,tight]
& & A\otimes (B\otimes C) & & \rTo^{\scriptstyle\gamma} & & (B\otimes C)\otimes A \\
& \ruTo^{\scriptstyle\alpha} & & & & & & \rdTo>{\scriptstyle\alpha} \\
(A\otimes B)\otimes C & & & & & & & & B\otimes (C\otimes A) \\
& \rdTo<{\scriptstyle\gamma\otimes 1} & & & & & & \ruTo>{\scriptstyle 1\otimes\gamma} \\
& & (B\otimes A)\otimes C & & \rTo_{\scriptstyle\alpha} & & B\otimes (A\otimes C) \\
\end{diagram}
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 22:55, 27 January 2006 | | 362 × 266 (9 KB) | wikimediacommons>Fropuff~commonswiki | Commuative diagram defining a braided monoidal category. |
File usage
There are no pages that use this file.
