Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers (Q2374309)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers |
scientific article |
Statements
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers (English)
0 references
15 December 2016
0 references
string diagram
0 references
calculational proof
0 references
category theory
0 references
adjunction
0 references
resumption monad
0 references
