Category Theory For Beginners: Products

In this video we explain how to define the categorical product, by starting with the Cartesian product in set theory. We see the categorical product in action within preordered sets, and see how the greatest common divisor emerges as an example. We also define the product of monoids, and the product of categories. We also show that any two categorical products of a given pair of objects will be isomorphic to each other.