Explains the basic concepts of Category Theory, useful terminology to help understand the literature, and why it's so relevant to software engineering.