There's more mathematics to programming than meets the eye. This post will highlight one such connection that explains the link between map-reduce and category theory. I will then conclude with some wild speculation about what this might imply for future programming paradigms. This post assumes that you already know Haskell and explains the mathematics behind the map-reduce using Haskell concepts