File:Applicative Form of Monoidal Coherence Map 01.svg

Original file (SVG file, nominally 516 × 78 pixels, file size: 99 KB)

Summary

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

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.

Captions

Commutative diagram demonstrating how a monoidal coherence map gives rise to its applicative formulation

Items portrayed in this file

depicts

18 July 2021

image/svg+xml

797290c691604b82f774222221bb6c26e405b190

101,061 byte

78 pixel

516 pixel

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 2021516 × 78 (99 KB)Carsten MilkauUploaded a work by Carsten Milkau (diagram) Donald E. Knuth (fonts) from Original work (diagram) https://www.tug.org/texlive/ (fonts) with UploadWizard

The following page uses this file:

Metadata