Category Theory for Programmers An exploration of the ideas in the book, Category Theory for Programmers, by Bartosz Milewski.