Restriction categories III: Colimits, partial limits and extensivity

Mathematical Structures in Computer Science

Volumn 17, Issue 4, 2007, Pages 775-817

  Cockett, Robin ^a   Lack, Stephen ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CONFORMAL MAPPING; DATA STRUCTURES; NUMERICAL METHODS; PROBLEM SOLVING;

ABSTRACT FORMULATION; ALGEBRAIC FORMULATION; RESTRICTION CATEGORIES;

MATRIX ALGEBRA;

EID: 43449087629     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129507006056     Document Type: Conference Paper

References (16)

1. Bucalo, A., Führmann, C. and Simpson, A. (1999) Equational lifting monads. In: CTCS '99: Conference on Category Theory and Computer Science (Edinburgh). Electron. Notes Theor. Comput. Sci. 29 Paper No. 29004.
2. Carboni, A. (1987) Bicategories of partial maps. Cah. de Top. Geom. Diff. 28 111-126.
3. Carboni, A. (1991) Matrices, relations, and group representations. J. Algebra 136 497-529.
4. Carboni, A., Lack, S. and Walters, R. F. C. (1993) Introduction to extensive and distributive categories. J. Pure Appl. Algebra 84 145-158.
5. Cockett, J. R. B. (1993) Introduction to distributive categories. Mathematical Structures in Computer Science 3 277-307.
6. Cockett, J. R. B. and Lack, S. (2002) Restriction categories I: Categories of partial maps. Theoretical Computer Science 270 223-259.
7. Cockett, J. R. B. and Lack, S. (2003) Restriction categories II: Partial map classification. Theoretical Computer Science 294 61-102.
8. Cockett, J.R. B. and Lack, S. (in preparation) Restriction categories IV: Enriched restriction categories.
9. Cockett, J. R. B. and Lack, S. (2001) The extensive completion of a distributive category. Theory Appl. Categ. 8 541-554.
10. Curien, P.-L. and Obtulowicz, A. (1989) Partiality, Cartesian closedness, and toposes. Inform. and Comput. 80 50-95.
11. Di Paola, R. A. and Heller, A. (1987) Dominical categories: recursion theory without elements. J. Symbolic Logic 52 595-635.
12. Freyd, P.J. and Scedrov, A. (1990) Categories, allegories, North-Holland Mathematical Library 39.
13. Hoehnke, H.-J. (1977) On partial algebras. Colloq. Math. Soc. János Bolyai 29 373-412.
14. Kock, A. (1972) Strong functors and monoidal monads. Arch. Math. 23 113-120.
15. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag.
16. Robinson, E. P. and Rosolini, G. (1988) Categories of partial maps. Information and Computation 79 94-130.