products and coproducts defined

in terms of representable functors
had something backwards