What are your favorite examples of categories illustrating the universal property for products and coproducts? I am trying to deepen my intuition.

Functional Café

functional.cafe is an instance for people interested in functional programming and languages.