> in Matthew Doty's puzzles MD1 - MD3 we learn that the logical operations "and" and "or" can be described as right and left adjoints.

Wow!