Applications of Categories in Computer Science: Preface