- The left side of the adjunction
Fwants to "push the piston" on the right side, so it must beF -| Gwhere-|allowsFto "crush"Gwith the flat surface|.
F wants to "push the piston" on the right side, so it must be F -| G where -| allows F to "crush" G with the flat surface |.