The relevant chapter from 'Category Theory for Programmers.' https://bartoszmilewski.com/2015/01/07/products-and-coproducts/ https://bartoszmilewski.com/2015/0

The relevant chapter from 'Category Theory for Programmers.' https://bartoszmilewski.com/2015/01/07/products-and-coproducts/ https://bartoszmilewski.com/2015/01/07/products-and-coproduc...