A course in Category Theory.
Part 4: “Products.”
This story belongs to a series that has started here.
From the category of sets you most probably know Cartesian products. For general categories there exists an abstraction for this construct that lets combine two and more objects of an category with each other. In this story we will introduce the product between objects of a category and consider several features of…