Move up to the symmetric monoidal category and start there.