Computing with categories

  • R. Burstall
  • D. Rydeheard
Part II Research Contributions Section 4: Categorical Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 240)


This paper shows how the constructions involved in category theory may be turned into computer programs. Key issues are the computational representation of categories and of universal properties. The approach is illustrated with a program for computing finite limits of an arbitrary category; this is written in the functional programming language ML. We have developed such programs for a number of categorical constructions.


Category Theory Universal Property Finite Limit Finite Graph Terminal Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Burstall 80]
    Burstall, R.M. 1980 Electronic Category Theory Proc. of Math. Found. of Comp. Sci. Symp. Rydzyna, Poland (Invited Paper)Google Scholar
  2. [Constable et al 86]
    Constable, R.L. et al (1986) Implementing Mathematics with the Nuprl Proof Development System Prentice-Hall.Google Scholar
  3. [Goguen et al 84]
    Goguen, J.A. and Burstall, R.M. (1984) Fundamental algebraic tools for the semantics of computation, Part I. Theoretical Computer Science, 31, pp. 175–209.Google Scholar
  4. [Harper et al 86]
    Harper, R., MacQueen, D. and Milner, R. (1986) Standard ML LFCS Report Series: ECS-LFCS-86-2, Dept. of Computer Science, University of Edinburgh.Google Scholar
  5. [Mac Lane 71]
    Mac Lane, S. (1981) Categories for the working Mathematician Springer-Verlag, New York (page 46).Google Scholar
  6. [Rydeheard 81]
    Rydeheard, D.E. (1981) Applications of Category Theory to Programming and Program Specification Ph.D. Thesis, University of Edinburgh.Google Scholar
  7. [Rydeheard et al 86]
    Rydeheard, D.E. and Burstall, R.M. (1986) Computational Category Theory, book in preparation.Google Scholar
  8. [Sannella 82]
    Sannella, D.T. (1982) Semantics, Implementation and Pragmatics of Clear, A Program Specification Language Ph.D. Thesis, University of Edinburgh.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • R. Burstall
    • 1
  • D. Rydeheard
    • 2
  1. 1.Dept. of Computer ScienceUniversity of EdinburghUK
  2. 2.Dept. of Computer ScienceUniversity of ManchesterUK

Personalised recommendations