Applications of Categories in Computer Science

Category theory is being increasingly applied to computer science. Participants at the symposium on which this volume is based were leading computer scientists and mathematicians working in the area. The volume represents some of the most important and current ideas, hence will be essential to people applying category theory.