This book presents the results of a symposium which brought together scientists interested in applying modern algebraic techniques to problems
in control and in computer science. In addition to extended abstracts of the contributed papers, we have included introductory material to provide
the expert in control or computation with the necessary background in category theory (introduction, part 1); to present some of the problems of
control theory still to be satisfactorily placed in a categorical framework (part 2); and to give those fluent with category theory an overview of its
applications in computation and control (part 3). We also include a bibliography at the end of the volume.