• David Pitt
Part I Tutorials
Part of the Lecture Notes in Computer Science book series (LNCS, volume 240)


A category has objects and morphisms. The latter can be composed. We have no immediate access to internal structure of objects. Thus all properties must be expressed in terms of morphisms. For example we met briefly the Initial Model which was characterised by the fact that there was a unique morphism from it to any other model. In Set, the empty set has a similar property whereas a singleton set has the property that there is a unique function from any other set to it. The next article will investigate such constructions which can be defined simply in terms of the existence and properties of morphisms.


Category Theory Functional Programming Expository Text Primitive Function Operation Symbol 
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. [Arbib-Manes]
    M.A. Arbib, E.G. Manes, "Arrows, Structures and Functions — The Categorical Imperative", Academic Press, New York-San Francisco-London 1975.Google Scholar
  2. [Backus]
    J. Backus, Can Programming be Liberated from the von Neuman Style? A Functional Style and Its Algebra or Programs. Communications of ACM August 1978 Vol 21, number 8.Google Scholar
  3. [G-B]
    J.A. Goguen and R.M. Burstall "Institutions: Abstract Model Theory for Computer Science". Technical Report CSLI — 85-30, Center for the Study of Language and Information, Stanford University, 1985.Google Scholar
  4. [Maclane]
    S. Maclane, "Categories for the Working Mathematician" Springer Graduate Texts in Mathematics, 1971.Google Scholar
  5. [M-E]
    H. Ehrig and B. Mahr, "Fundamentals of Algebraic Specification 1" EATCS Monographs on Theoretical Computer Science, Springer-Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • David Pitt
    • 1
  1. 1.University of SurreyUK

Personalised recommendations