Educator, mathematician, writer, developer. I am learning about cryptography, zero-knowledge proofs, functional programming and category theory.
What are your favorite examples of categories illustrating the universal property for products and coproducts? I am trying to deepen my intuition.
functional.cafe is an instance for people interested in functional programming and languages.