An introduction to the language of category theory. (2017)