Day convolution of copresheaves

Day convolution of copresheaves is a copresheaf
Day convolution is a bifunctor of copresheaves