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.