1.Previous
3.Next

category Set is complete and co-complete. The product in this category is given by the cartesian product of sets. The coproduct is given by the disjoint union: given sets A_i where i ranges over some index set I, we construct the coproduct as the union of A_i×{i} (the cartesian product

1.Previous
3.Next