Category Theory 1.1: Motivation and Philosophy Aug 5 2017 Category Theory Functional Programming Philosophy