File:Pure Operator By Tensorial Strength.svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 251 × 71 pixels. Other resolutions: 320 × 91 pixels | 640 × 181 pixels | 1,024 × 290 pixels | 1,280 × 362 pixels | 2,560 × 724 pixels.
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]
|
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 | 22:23, 17 July 2021 | | 251 × 71 (44 KB) | Carsten Milkau (talk | contribs) | correction (missing a subscript on inverse right unitor) |
| 21:47, 17 July 2021 |  | 251 × 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 |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
