Compact Metric Information Systems (Extended Abstract)
作者： Abbas Edalat , Michael B. Smyth
关键词:
摘要: We present information systems for compact metric spaces using the notions of diameter and strong inclusion open sets. It is shown that category approximable mappings, dual to non-expansive maps, a partially complete I-category in which canonical solution domain equations can be found by taking union (least upper bound) certain Cauchy chains. For class contracting functors, equation has unique solution. such includes product, co-product hyperspace functor (with Hausdorff metric).
springer.com
sci-hub.st 参考文章(11)
Dana S. Scott, Domains for Denotational Semantics international colloquium on automata, languages and programming. pp. 577- 613 ,(1982) , 10.1007/BFB0012801
Abbas Edalat, Michael B. Smyth, Categories of Information Systems Proceedings of the 4th International Conference on Category Theory and Computer Science. pp. 37- 52 ,(1991) , 10.1007/BFB0013456
Abbas Edalat, Michael B. Smyth, I-categories as a framework for solving domain equations Theoretical Computer Science. ,vol. 115, pp. 77- 106 ,(1993) , 10.1016/0304-3975(93)90056-Y
G. Berry, P.L. Curien, Sequential algorithms on concrete data structures Theoretical Computer Science. ,vol. 20, pp. 265- 321 ,(1982) , 10.1016/S0304-3975(82)80002-9
Mila E. Majster-Cederbaum, F. Zetzsche, Towards a foundation for semantics in complete metric spaces Information & Computation. ,vol. 90, pp. 217- 243 ,(1991) , 10.1016/0890-5401(91)90005-M
Pierre America, Jan Rutten, Solving reflexive domain equations in a category of complete metric spaces Journal of Computer and System Sciences. ,vol. 39, pp. 343- 375 ,(1989) , 10.1016/0022-0000(89)90027-5
Ernest Michael, Topologies on spaces of subsets Transactions of the American Mathematical Society. ,vol. 71, pp. 152- 182 ,(1951) , 10.1090/S0002-9947-1951-0042109-4
M.B. Smyth, Effectively given domains Theoretical Computer Science. ,vol. 5, pp. 257- 274 ,(1977) , 10.1016/0304-3975(77)90045-7
J.W. de Bakker, J.I. Zucker, Processes and the denotational semantics of concurrency Information & Computation. ,vol. 54, pp. 70- 120 ,(1982) , 10.1016/S0019-9958(82)91250-5
B. Banaschewski, A. Pultr, Cauchy points of metric locales Canadian Journal of Mathematics. ,vol. 41, pp. 830- 854 ,(1989) , 10.4153/CJM-1989-038-0