Limit is Monoidal (being a right adjoint)