Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings (Q1801317): Difference between revisions

The articles of this volume will not be indexed individually. This volume contains the proceedings of the International Workshop on Categorical Methods in Computer Science, with Aspects from Topology, held in Berlin in September 1989. The papers are divided into three parts; part 1: Fundamental Categorical Concepts in Computer Science; part 2: Applications of Categorical Methods in Computer Science; part 3: Categorical Aspects from Topology. In part 1 there are papers concerning categorical foundations and fundamental concepts from category theory in computer science. In part 2 the papers present applications of categorical methods to algebraic specification languages and techniques, data types, database, programming, and process specifications. In part 3, the papers are mainly concentrated on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections.