Categorical constructions

Some basic constructions in categories:

• isomorphism

• product

• coproduct

The concepts of product and coproduct correspond to Cartesian products and disjoint unions, respectively.