Jump to content

File:Monoidal Coherence Map from Applicative Formulation.svg

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (SVG file, nominally 436 × 76 pixels, file size: 86 KB)

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

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 can be recovered from its applicative formulation

Items portrayed in this file

depicts

18 July 2021

88,561 byte

76 pixel

436 pixel

image/svg+xml

210beaed918571d7d8d1eb718b9673b00b2dc89b

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 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