A categorical manifesto
- 4 March 1991
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 1 (1) , 49-67
- https://doi.org/10.1017/s0960129500000050
Abstract
This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for each concept, but completeness is not attempted. Some additional categorical concepts and some suggestions for further research are also mentioned. The paper concludes with some philosophical discussion.Keywords
This publication has 25 references indexed in Scilit:
- Introduction to the algebraic theory of graph grammars (a survey)Published by Springer Nature ,2005
- On graph rewritingsTheoretical Computer Science, 1984
- Correctness of recursive parallel nondeterministic flow programsJournal of Computer and System Sciences, 1983
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data TypesJournal of the ACM, 1982
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programsJournal of Computer and System Sciences, 1974
- Realization is universalTheory of Computing Systems, 1972
- Minimal realization of machines in closed categoriesBulletin of the American Mathematical Society, 1972
- General Theory of Natural EquivalencesTransactions of the American Mathematical Society, 1945
- General theory of natural equivalencesTransactions of the American Mathematical Society, 1945