File:Monoidal Coherence Map from Applicative Formulation.svg
Size of this PNG preview of this SVG file: 436 × 76 pixels. Other resolutions: 320 × 56 pixels | 640 × 112 pixels | 1,024 × 178 pixels | 1,280 × 223 pixels | 2,560 × 446 pixels.
Original file (SVG file, nominally 436 × 76 pixels, file size: 86 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: This commutative diagram demonstrates how the (product) coherence map of a monoidal functor over a closed monoidal category can be recovered from an applicative formulation of that map. |
| Date | |
| Source |
Original work (diagram) https://www.tug.org/texlive/ (fonts) |
| Author |
Carsten Milkau (diagram) Donald E. Knuth (fonts) |
Licensing
|
This work has been released into the public domain by its author, Carsten Milkau. This applies worldwide. In some countries this may not be legally possible; if so: |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 17:12, 18 July 2021 | | 436 × 76 (86 KB) | Carsten Milkau | Uploaded a work by Carsten Milkau (diagram) Donald E. Knuth (fonts) from Original work (diagram) https://www.tug.org/texlive/ (fonts) with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
