A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II

Abstract

This volume is the second part of the Festschrift in honour of John Power, who turned 60 in December 2019. For a brief history of John and his work, we refer to the preface of the first volume of the Festschrift (Mathematical Structures in Computer Science (2021), 31(7)). Reflecting John’s influence on category theory and its applications to computer science throughout his career, we received a number of submissions on a wide range of topics. All the submitted papers have been fully peer-reviewed to the usual standards of the journal, and we finally accepted 11 papers. Among them, four papers already appeared in the first part. This volume consists of the remaining seven papers. We are very grateful to the authors and reviewers whose hard work was essential in preparing this special issue. We would like to thank all of them for their help and patience.