Stable meet semilattice fibrations and free restriction categories

Theory and Applications of Categories

Volumn 16, Issue 10, 2006, Pages 307-341

  Cockett, J R B ^a   Guo, Xiuzhan ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Fibrations; Restriction categories; Semigroups

Indexed keywords

EID: 33750683353     PISSN: 1201561X     EISSN: 1201561X     Source Type: Journal    
DOI: None     Document Type: Article

References (14)

1. M. Barr and C. Wells, Category Theory for Computing Science, the Electronic Supplement, 1995
2. J.R.B. Cockett and Xiuzhan Guo, Introduction to range restriction categories, in progress.
3. J.R.B. Cockett and S. Lack, Restriction categories I: Categories of partial maps, Theoret. Comput. Science 270(2002), 223-259.
4. R.A. Di Paola and A. Heller, Dominical categories: recursion theory without elements, J. Symbolic Logic 52(1987), 595-635.
5. John Fountain, Adequate semigroups, Proceedings of the Edinburgh Mathematical Society 22(1979), 113-125.
6. Xiuzhan Guo, Ranges, Restrictions, Partial Maps, and Fibrations, Thesis, University of Calgary, 2004.
7. M. Jackson and T. Stokes, An invitation to C-semigroups, Semigroup Form 62(2001), 279-310.
8. Mark Lawson, Inverse Semigroups, World Scientific (1998)
9. E.G. Manes, Guarded and banded semigroups, preprint, 2004.
10. W.D. Munn, Free inverse semigroups, Proc. London Math. Soc. (3)29(1974), 385-404.
11. Mario Petrich, Inverse semigroups, John Wiley (1984)
12. E.P. Robinson and G. Rosolini, Categories of partial maps, Infom. and Comput. 79(1988), 94-130.
13. G. Rosolini, Domains and dominical categories, Riv. Mat. Univ. Parma 11(1985), 387-397.
14. G. Rosolini, Continuity and effectiveness in topoi, D. Phil. Thesis, Oxford University, 1986.