Skip to main content
SpringerLink
Log in
Book cover

Categorical Methods in Computer Science With Aspects from Topology pp 286–293Cite as

The construct PRO of projection spaces: its internal structure

  • Part 3: Categorical Aspects From Topology
  • Conference paper
  • First Online:

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

Abstract

The construct PRO (resp. PRO S) of (separated) projection spaces and projection morphisms is shown to have limits and colimits, free objects, powerobjects, and objects representing (extremal) partial morphisms. These structures are exhibited explicitly.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Bergstra and J. Klop, Algebra of Communicating Processes, Proc. CWI Symp. Math. and Comp. Sci., CWI Monographs I Series, North Holland 1986, 89–138

    Google Scholar 

  2. C. Dimitrovici, H. Ehrig, M. Große-Rhode, and C. Rieckhoff, Projektionsräume und Projectionsalgebren: Eine Algebraisierung von ultrametrischen Räumen, Technical Report Nr. 87-7, TU Berlin 1987

    Google Scholar 

  3. E. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, D. Dimitrovici, and M. Große-Rhode, Algebraic Data Type and Process Specification Based on Projection Spaces, Technical Report 87-8, TU Berlin 1987

    Google Scholar 

  4. H. Ehrig, and B. Mahr, Fundamental of Algebraic Specification 1, EATCS-Monographs on Theoretical Comp. Science 6, Springer-Verlag 1985

    Google Scholar 

  5. R. Goldblatt, Topoi, The Categorical Analysis of Logic, North Holland 1984

    Google Scholar 

  6. G. Grätzer, Universal Algebra, Van Nostrand 1968

    Google Scholar 

  7. M. Große-Rhode, Categorical constructions for parameterized data type and process specifications using projection algebras, these Proceedings

    Google Scholar 

  8. H. Herrlich, Categorical Topology 1971–1981, General Topology and its Relations to Modern Analysis and Algebra V, Proc. Fifth Prague Topol. Symp. 1981, Heldermann Verlag 1983, 279–383

    Google Scholar 

  9. H. Herrlich and G. E. Strecker, Category Theory, Allyn and Bacon 1973, 2nd ed. Heldermann Verlag 1979

    Google Scholar 

  10. J. Penon, Sur les quasi-topos, Cahiers Top. Geom. Diff. 18 (1977), 181–218

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik/Informatik, Universität Bremen, Postfach 330 440, 2800, Bremen 33, Fed. Rep. Germany

    Horst Herrlich

  2. Fachbereich Informatik, Techn. Universität Berlin, 1000, Berlin 10, Fed. Rep. Germany

    Hartmut Ehrig

Authors
  1. Horst Herrlich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hartmut Ehrig
    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

Herrlich, H., Ehrig, H. (1989). The construct PRO of projection spaces: its internal structure. 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_17

Download citation

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

  • 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