File:Pure Operator By Tensorial Strength.svg

Original file(SVG file, nominally 251 × 71 pixels, file size: 44 KB)

Captions

Captions

Commutative diagram demonstrating how a tensorial strength gives rise to a "pure" operator

Summary

edit
Description
English: This commutative diagram demonstrates how a "pure" operator for an applicative functor can be obtained from a tensorial strength of a monoidal functor.
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
current22:23, 17 July 2021Thumbnail for version as of 22:23, 17 July 2021251 × 71 (44 KB)Carsten Milkau (talk | contribs)correction (missing a subscript on inverse right unitor)
21:47, 17 July 2021Thumbnail for version as of 21:47, 17 July 2021251 × 71 (43 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.

Metadata