This work consists of a selection of papers from the proceedings of a special session on topology and category theory in computer science, held at The Oxford Topology Symposium in June 1989. The session achieved a mixing of ideas between the two communities - giving one a course of new problems with a more practical flavour, and the other a source of solutions and ideas.
Category Theory now permeates most of Mathematics, large parts of theoretical Computer Science and parts of theoretical Physics. Its unifying power brings together different branches, and leads to a deeper understanding of their roots. This book is addressed to students and researchers of these fields and can be used as a text for a first course in Category Theory. It covers its basic tools, like universal properties, limits, adjoint functors and monads. These are presented in a concrete way, starting from examples and exercises taken from elementary Algebra, Lattice Theory and Topology, then developing the theory together with new exercises and applications. Applications of Category Theory form a vast and differentiated domain. This book wants to present the basic applications and a choice of more advanced ones, based on the interests of the author. References are given for applications in many other fields. Contents: IntroductionCategories, Functors and Natural TransformationsLimits and ColimitsAdjunctions and MonadsApplications in AlgebraApplications in Topology and Algebraic TopologyApplications in Homological AlgebraHints at Higher Dimensional Category TheoryReferencesIndices Readership: Graduate students and researchers of mathematics, computer science, physics. Keywords: Category TheoryReview: Key Features: The main notions of Category Theory are presented in a concrete way, starting from examples taken from the elementary part of well-known disciplines: Algebra, Lattice Theory and TopologyThe theory is developed presenting other examples and some 300 exercises; the latter are endowed with a solution, or a partial solution, or adequate hintsThree chapters and some extra sections are devoted to applications
Category theory is a general mathematical theory of structures and of structures of structures. It occupied a central position in contemporary mathematics as well as computer science. This book describes the history of category theory whereby illuminating its symbiotic relationship to algebraic topology, homological algebra, algebraic geometry and mathematical logic and elaboratively develops the connections with the epistemological significance.
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Author: Eugenio Moggi
Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997. Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible. Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at the associated website: http://www.comlab.ox.ac.uk/ucs/. From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare’s CSP.
This text and reference book on Category Theory, a branch of abstract algebra, is aimed not only at students of Mathematics, but also researchers and students of Computer Science, Logic, Linguistics, Cognitive Science, Philosophy, and any of the other fields that now make use of it. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of Category Theory understandable to this broad readership. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads.