The concept of product and co-product can be generalized to a universal property. However, “how” to do so is given in a rather unclear manner in most books and internet links. An example would be http://jeremykun.com/2013/05/24/universal-properties/ I have somehow patched together a coherent explanation. I hope this helps anyone starting out in Category Theory. LetContinue reading “Generalizing the product of sets to a universal property”