Basic Category Theory For Computer Scientists A nice touch in this textbook is the glossary at the back of each chapter.
