Containing example exercises, this reference to category theory is suitable for researchers and graduates in philosophy mathematics, and computer science. With definitions of concepts and proofs of propositions and theorems, the text makes the ideas of this topic understandable to the broad readership