An introduction to the language of category theory.