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.

Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durham in July 1991.