Our motivation for gathering the material for this book over aperiod of seven years has been to unify and simplify ideas wh ich appeared in a sizable number of

The book collects original research papers on applied categorical structures, most of which have been presented at the North-West European Category Seminar 2003

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the des

The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in v

The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory