Notes on category theory.