Provides an introduction to category theory whilst retaining a level of mathematical correctness, thus appealing to students of both computer science and mathematics.