The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science.