Bireflectivity

Theoretical Computer Science

Volumn 228, Issue 1-2, 1999, Pages 49-76

  Freyd, P J ^a   O'Hearn, P W ^b,f   Power, A J ^c   Takeyama, M ^c,g   Street, R ^d   Tennent, R D ^e  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b SYRACUSE UNIVERSITY   (United States)

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

^d MACQUARIE UNIVERSITY   (Australia)

^e QUEEN S UNIVERSITY   (Canada)

^f QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^g CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Categories of relations; Modules; Monoidal structure; Presheaves; Reflective subcategories; Split idempotents

Indexed keywords

EID: 0037699873     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00354-5     Document Type: Article

References (15)

1. S. Abramsky, S. Gay, R. Nagarajan, Interaction categories and the foundations of typed concurrent programming, Proc. NATO Advanced Study Institute: Internat. Summer School, Marktoberdorf, 1994.
2. J. Bénabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Mathematics, vol. 47, Springer, Berlin, 1967, pp. 1-77.
3. R.F. Blute, J.R.B. Cockett, R.A.G. Seely, ! and ?: storage as tensorial strength, Mathe. Struct. Comput. Sci., to appear.
4. J.R.B. Cockett, D.A. Spooner, Sproc categorically, CONCUR 94, 1994.
5. B. Day, On closed categories of functors, in: S. Mac Lane (Ed.), Reports of the Midwest Category Seminar, Lecture Notes in Mathematics, vol. 137, Springer, Berlin, 1970, pp. 1-38.
6. F. Foltz, G.M. Kelly, C. Lair, Algebraic categories with few monoidal biclosed structures or none, J. Pure Appl. Algebra 17 (1980) 171-177.
7. P. Freyd, The axiom of choice, J. Pure Appl. Algebra 19 (1980) 103-125.
8. P. Freyd, A. Scedrov, Categories, Allegories, Elsevier, Amsterdam, 1989.
9. G.B. Im, G.M. Kelly, A universal property of the convolution monoidal structure, J. Pure Appl. Algebra 43 (1986) 75-88.
10. G.M. Kelly, Structures defined by finite limits in the enriched context I, Cahiers Topologie. Geom. Differentielle 23 (1982) 3-42.
11. G.M. Kelly, Elementary observations on 2-categorical limits, Bulletin of the Austral. Math. Soc. 39 (1989) 301-317.
12. G.M. Kelly, R. Street, Review of the elements of 2-categories, in: A. Dold, B. Eckmann (Eds.), Category Seminar Sydney 1972/73, Lecture Notes in Mathematics, vol. 420, Springer, Berlin, 1974, pp. 75-103.
13. F.W. Lawvere, Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano XLIII (1973) 135-166.
14. S. Mac Lane, Categories for the Working Mathematician, Springer, Berlin, 1971.
15. P.W. O'Hearn, A.J. Power, M. Takeyama, R. Tennent, Syntactic control of interference revisited, in this volume.