File:Applicative Form of Monoidal Coherence Map 01.svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 516 × 78 pixels. Other resolutions: 320 × 48 pixels | 640 × 97 pixels | 1,024 × 155 pixels | 1,280 × 193 pixels | 2,560 × 387 pixels.
Original file (SVG file, nominally 516 × 78 pixels, file size: 99 KB)
Captions
Captions
Commutative diagram demonstrating how a monoidal coherence map gives rise to 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 gives rise to 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 | | 516 × 78 (99 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
