Skip to main content
SpringerLink
Log in

Colimits as parameterized data types

  • Part 1: Fundamental Categorical Methods In Computer Science
  • Conference paper
  • First Online:
Categorical Methods in Computer Science With Aspects from Topology

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 393))

Abstract

Colimit constructions are interpreted as parameterized specifications where the underlying diagrams correspond to the formal parameters and the (universal) cocones form the bodies. Moreover, because the cocone is associated to each diagram in a uniform way, the colimit construction itself turns out to be parametric over-coming one of the limitations of ordinary parameterized specifications, this is the fixed size and structure of the formal parameter part.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.W. Thatcher, E.G. Wagner, J.B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques, ACM TOPLAS 4 (1982), 711–732.

    Google Scholar 

  2. H. Ehrig, H.-J. Kreowski, J.W. Thatcher, E.G. Wagner, J.B. Wright: Parameter Passing in Algebraic Specification Languages, Theor. Comp. Sci. 28 (1984), 45–81.

    Google Scholar 

  3. M.A. Arbib, E.G. Manes: Arrows, Structures, and Functors — The Categorical Imperative, New York-San Francisco-London 1975.

    Google Scholar 

  4. R.M. Burstall, J.A. Goguen: Semantics of CLEAR, a Specification Language, Lect. Notes in Comp. Sci. 86 (1980), 292–332.

    Google Scholar 

  5. H.-D. Ehrich: On the Theory of Specification, Implementation and Parameterization of Abstract Data Types, JACM 29,1 (1982), 206–227.

    Google Scholar 

  6. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, Berlin-Heidelberg-New York-London-Paris-Tokyo 1985.

    Google Scholar 

  7. H.-J. Kreowski: Some Initial Sections of the Algebraic Specification Tale, EATCS Bulletin 31 (1987), 55–78.

    Google Scholar 

  8. S. Mac Lane: Categories for the Working Mathematician, New York-Heidelberg-Berlin 1971.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bremen, Germany

    Hans-Jörg Kreowski

Authors
  1. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

H. Ehrig H. Herrlich H. -J. Kreowski G. Preuß

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kreowski, HJ. (1989). Colimits as parameterized data types. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-51722-7_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51722-1

  • Online ISBN: 978-3-540-46787-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation