Text this: Category theory : an introduction