the day convolution of representable covariant functors is representable