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)
Captions
Captions
Commutative diagram demonstrating how a monoidal coherence map can be recovered from its applicative formulation
Summary
edit
| 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
edit
|
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 (talk | contribs) | Uploaded a work by Carsten Milkau (diagram) Donald E. Knuth (fonts) from Original work (diagram) https://www.tug.org/texlive/ (fonts) 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
