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.
Preview
Unable to display preview. Download preview PDF.
References
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
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
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
H. Ehrig, and B. Mahr, Fundamental of Algebraic Specification 1, EATCS-Monographs on Theoretical Comp. Science 6, Springer-Verlag 1985
R. Goldblatt, Topoi, The Categorical Analysis of Logic, North Holland 1984
G. Grätzer, Universal Algebra, Van Nostrand 1968
M. Große-Rhode, Categorical constructions for parameterized data type and process specifications using projection algebras, these Proceedings
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
H. Herrlich and G. E. Strecker, Category Theory, Allyn and Bacon 1973, 2nd ed. Heldermann Verlag 1979
J. Penon, Sur les quasi-topos, Cahiers Top. Geom. Diff. 18 (1977), 181–218
Author information
Authors and Affiliations
Editor information
Rights 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