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. 0 Introduction This paper tries to explain why category theory is useful in computing science. The basic answer is that computing science is a young field that is growing rapidly, is poorly organised, and needs all the help it can get, and that category theory can provide help with at least the following: ffl Formulating definitions and theories. In computing science, it is often more difficult to formulate concepts and results than to give a proof. The seven guidelines of this paper can h...

Citations

164	Toposes, Triples and Theories - Barr, Wells - 1985
154	The semantics of Clear, a specification language - Burstall, Goguen - 1979
130	Putting theories together to make specifications - Burstall, Goguen - 1977
25	Non-Well-Founded Sets”; Center for the Study of Language and - Aczel - 1998
8	The formal description of data types using sketches - Wells, Barr - 1988
7	Putting theories together to make speci cations - Burstall, Goguen - 1977
6	An Algebraic Description of Programs with Assertions, Verification and Simulation - Burstall - 1972
5	The semantics of Clear, a speci cation language - Burstall, Goguen - 1980
3	Intuitionistische betrachtungen uber den formalismus. Koninklijke Akademie van wetenschappen te Amsterdam - Brouwer - 1928