ยง
Dumb mnemonic for remembering adjunction turnstile
The left side of the adjunction
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
|
.