ADJUNCTION // tap to explore unit/counit triangle identities
UNIT
COUNIT
MONAD