Products and coproducts

As in , products and coproducts exist, and finite products and coproducts coincide in -mod.