Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

David Pitt (auth.), David Pitt, Samson Abramsky, Axel Poigné, David Rydeheard (eds.)3540171622, 9783540171621

Table of contents :
Categories….Pages 1-15
Elements of categorical reasoning : Products and coproducts and some other (co-)limits….Pages 16-42
Functors and natural transformations….Pages 43-50
Adjunctions….Pages 51-57
Cartesian closure — Higher types in categories….Pages 58-75
Algebra categorically….Pages 76-102
Category theory and logic….Pages 103-142
Categories, data types, and imperative languages….Pages 143-162
Category theory and programming language semantics: An overview….Pages 163-181
Weakest preconditions: Categorical insights….Pages 182-197
A categorical view of weakest liberal preconditions….Pages 198-205
Functor-category semantics of programming languages and logics….Pages 206-224
Finite approximation of spaces….Pages 225-241
Categories of partial morphisms and the λ P -calculus….Pages 242-251
A note on distributive laws and power domains….Pages 252-265
Category theory and models for parallel computation….Pages 266-281
Categorical models of process cooperation….Pages 282-298
Galois connections and computer science applications….Pages 299-312
A study in the foundations of programming methodology: Specifications, institutions, charters and parchments….Pages 313-333
Bits and pieces of the theory of institutions….Pages 334-363
Extended ML: An institution-independent framework for formal program development….Pages 364-389
Behavioural program specification….Pages 390-411
Key extensions of abstract data types, final algebras, and database semantics….Pages 412-433
Theories as categories….Pages 434-448
Internal completeness of categories of domains….Pages 449-465
Formalising the network and hierarchical data models — an application of categorical Logic….Pages 466-492
A categorical unification algorithm….Pages 493-505
Computing with categories….Pages 506-517