The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.