The definition of adjunctions in string diagram language - the snake/zig-zag relation.
No download links available.
