Skip to main content
5 of 6
added 144 characters in body
Alex Kruckman
  • 5k
  • 2
  • 24
  • 33

For the version of the question about finite products and coproducts:

  • Any meet-semilattice that does not have joins. For example, a linear order with no least element (which has no empty join).

  • Take any object $A$ in a category with all finite products and consider the full subcategory whose objects are all finite powers of $A$. This will usually fail to have coproducts. For example, the category of all finite sets whose cardinalities are powers of $2$.

For the version of the question about small products and coproducts:

  • The second example generalizes easily to arbitrary powers. For example, the category of all sets of cardinality $2^\kappa$ for arbitrary cardinals $\kappa$.

  • I originally claimed that the first example above generalizes easily as well, to complete meet-semilattices, but Max New correctly points out in the comments that every complete meet-semilattice is a lattice. However, as Tim Campion also correctly points out in the comments, a large semilattice may have all small meets without having all small joins. For example, the dual of the join-semilattice of all small subsets of a large set (which has no bottom element, hence no empty join).

Yet another naturalish example is the category of non-empty sets, which has all products but no initial object, hence no empty coproduct.

Alex Kruckman
  • 5k
  • 2
  • 24
  • 33