Why Are Computer Scientists Talking About Category Theory?

Math In Other Subjects
As a student of mathematics, I'm often interested in how fascinating math works its way into other subjects. In particular, I recently became curious about why computer scientists are talking about complicated categorical machinery, and this post is a quasi-answer to this question. As a disclaimer, I'm neither a computer scientist nor a category theorist, so what ensues will be a layman's (or lay-mathematician's rather) approach to understanding their connection. In the following, we will not actually need any theory but this post is mostly about developing the requisite language to understand how all of this strangeness came to be. I'm going to routinely defer main definitions to wikipedia, and instead pass to the level of heuristics throughout this post, so that it does not become bloated and technical. Additionally,…
Read More