surface diagrams for a strong monad

Last updated May 3, 2024