Category Theory for the Working Hacker by Philip Wadler

Category Theory for the Working Hacker The talk will explain why category theory is of interest for developers. The principle of Propositions as T...