File:Monoidal Coherence Map from Applicative Formulation.svg

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
Public domain 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:
Carsten Milkau grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current17:12, 18 July 2021Thumbnail for version as of 17:12, 18 July 2021436 × 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

There are no pages that use this file.

File usage on other wikis

The following other wikis use this file:

Metadata