Boolean and classical restriction categories

Mathematical Structures in Computer Science

Volumn 19, Issue 2, 2009, Pages 357-416

  Cockett, Robin ^a   Manes, Ernie ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN STRUCTURE; CO-PRODUCTS; CONSERVATIVE EXTENSIONS; DYNAMIC LOGIC; EXPLICIT CONSTRUCTIONS; IDEMPOTENTS; PARTIAL MAPS;

ABSTRACTING;

EID: 69749104095     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129509007543     Document Type: Article

References (39)

1. Batbedat, A. (1981) γ-demi-groups, demi-modules, produit demi-directs. Springer-Verlag Lecture Notes in Mathematics 855 1-18.
2. Birkhoff, G. (1948) Lattice Theory, American Mathematical Society Colloquium Publications, Volume 25.
3. Cockett, J. R. B. and Lack, S. (2002) Restriction categories I: categories of partial maps. Theoretical Computer Science 270 223-259.
4. Cockett, J. R. B. and Lack, S. (2003) Restriction categories II: partial map classification. Theoretical Computer Science 294 61-102.
5. Cockett, J. R. B. and Lack, S. (2004) Restriction categories III: colimits, partial limits and extensivity. Mathematical Structures in Computer Science 17 (4) 957-1027.
6. Cockett, J. R. B. and Guo, X. (2006) Stable meet semilattice fibrations and free restriction categories. Theory and Applications of Categories 16 307-341.
7. Cockett, J. R. B. and Guo, X. (to be submitted) Restrictions, ranges, partial map categories and fibrations.
8. Dijkstra, E. J. (1976) A Discipline of Programming, Prentice Hall.
9. Di Paola, R. A. and Heller, A. (1987) Dominical categories: recursion theory without elements. Journal of Symbolic Logic 52 595-635.
10. Elgot, C. C. (1975) Monadic computation and iterative algebraic theories. In: Rose, H. E. and Shepherdson, J. C. (eds.) Proceedings of Logic Colloquium , North-Holland, 175-230.
11. Escardo, M. H. (2001) The regular-locally compact coreflection of a stably locally compact locale. Journal of Pure and Applied Algebra 157 41-55.
12. Fischer, M. J. and Ladner, R. E. (1976) Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18 286-294.
13. Fountain, J. (1977) A class of right PP monoids. Quarterly Journal of Mathematics 28 285-300.
14. Freyd, P. J. (1972) Aspects of Topoi. Bulletin of the Australian Mathematical Society 7 1-76.
15. Freyd, P. J. and Scedrov, A. (1990) Categories, Allegories, North-Holland.
16. Gould, V. (2002) (Weakly) left E-ample semigroups (notes). (Available at http://www-users.york.ac.uk/~varg1/gpubs.htm.)
17. Grandis, M. (1990) Cohesive Categories and Manifolds. Annali di Mathematica pura ed applicata 157 199-244.
18. Kozen, D. H. A. and Tiuryn, J. (2000) Dynamic Logic, MIT Press.
19. Harel, D., Meyer, A. R. and Pratt, V. R. (1977) Computability and completeness in logics of programs. Proceedings of the 9th ACM Symposium on the Theory of Computing 261-268.
20. Jackson, M. and Stokes, T. (2001) An invitation to C-semigroups. Semigroup Forum 62 279-310.
21. Jackson, M. and Stokes, T. (submitted) Partial maps with domain and range: extending representation.
22. Johnstone, P. T. (1982) Stone Spaces, Cambridge Studies in Advanced Mathematics 3, Cambridge University Press.
23. Kozen, D. (1980) A representation theorem for models of-free PDL. In: de Bakker, J. W. and Van Leeuwen, J. (eds.) Automata, Languages and Programming, ICALP '80 Springer-Verlag Lecture Notes in Computer Science 85 351-362.
24. Manes, E. G. (1998) Implementing collection classes with monads. Mathematical Structures in Computer Science 8 231-276.
25. Manes, E. G. (2002) Taut monads and T0 spaces. Theoretical Computer Science 275 79-109.
26. Manes, E. G. (1992) Predicate Transformer Semantics, Cambridge University Press.
27. Manes, E. G. (2006a) Guarded and banded semigroups. Semigroup Forum 72 94-120.
28. Manes, E. G. (2006b) Boolean restriction categories and taut monads. Theoretical Computer Science 360 77-95.
29. Menger, K. (1955) Calculus, a Modern Approach, Ginn, Boston.
30. Menger, K. (1959) An axiomatic theory of functions and fluents. In: Henkin, L., Suppes, P. and Tarski, A. (eds.) The Axiomatic Method, North-Holland 454-473.
31. Moggi, E. (1988) The Partial Lambda-Calculus, Ph.D. thesis, University of Edinburgh. (Available as CST-53-88.)
32. Mulry, P. S. (1992) Partial map classifiers and partial cartesian closed cartegories. Theoretical Computer Science 99 141-155.
33. Resende, P. (2007) Etale groupoids and their quantales. Advances in Mathematics 208 147-209.
34. Robinson, E. P. and Rosolini, G. (1988) Categories of partial maps. Information and computation 79 94-130.
35. Schein, B. (1970a) Relation algebras and function semigroups. Semigroup Forum 1 1-62.
36. Schein, B. (1970b) Restrictive multiplicative algebras of transformations (in Russian). Izv. Vys s. U cebn. Zaved. Matematika 95 (4) 91-102.
37. Schweizer, B. and Sklar, A. (1961) The algebra of functions II. Mathematische Annalen 143 440-447.
38. Schweizer, B. and Sklar, A. (1967) Function systems. Mathematische Annalen 172 1-16.
39. Segerberg, K. (1977) A completeness theorem in the modal logic of programs. Notices of the American Mathematical Society 24 A-522.