Up is also monoidal