Beyond the Chu-construction

Applied Categorical Structures

Volumn 9, Issue 2, 2001, Pages 153-171

  Koslowski, Jürgen ^b  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b NONE

Author keywords

* autonomy; Closed bicategory; Interpolad; Module; Monad

Indexed keywords

EID: 0035278621     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008731705603     Document Type: Article

References (23)

1. Abramsky, S.: Semantics of interaction: an introduction to game semantics, in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Publications of the Newton Institute, Cambridge University Press, Cambridge, 1997, Ch. 1, pp. 1-31.
2. Barr, M.: Non-symmetric *-autonomous categories, Theoret. Comput. Sci. 139 (1995), 115-130.
3. Barr, M.: The Chu construction, Theory Appl. Categ. 2(2) (1996), 17-35.
4. Benabou, J.: Introduction to bicategories, in Reports of the Midwest Category Seminar. I, Lecture Notes in Math. 47, Springer-Verlag, Berlin, 1967, pp. 1-77.
5. Betti, R., Carboni, A., Street, R., and Walters, R. F. C.: Variation through enrichment, J. Pure Appl. Algebra 29 (1983), 109-127.
6. Birkhoff, G.: Lattice Theory, 1st edn, Amer. Math. Soc. Coll. Pub., Amer. Math. Soc., Providence, RI, 1940 (3rd edition 1967).
7. Borceux, F.: Handbook of Categorical Algebra 1, Basic Category Theory, Encyclopedia Math. Appl. 50, Cambridge University Press, Cambridge, 1994.
8. Chu, P.-H.: Constructing *-autonomous categories, Appendix to Barr, M.: *-Autonomous Categories, Lecture Notes in Math. 752, Springer-Verlag, Berlin, 1979, pp. 103-137.
9. Cockett, J. R. B., Koslowski, J., and Seely, R. A. G.: Introduction to linear bicategories, to appear in Math. Structures Comput. Sci. (1999).
10. Cockett, J. R. B. and Seely, R. A. G.: Weakly distributive categories, in M. P. Fourman, P. T. Johnstone, and A. M. Pitts (eds.), Applications of Categories to Computer Science, London Math. Soc. Lecture Note Ser. 177, Cambridge University Press, 1992, pp. 45-65.
11. Dubuc, E.: Kan Extensions in Enriched Category Theory, Lecture Notes in Math. 145, Springer-Verlag, Berlin, 1970.
12. Hyland, M.: Game semantics, in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Publications of the Newton Institute, Cambridge University Press, Cambridge, 1997, Ch. 4, pp. 131-184.
13. Joyal, A. and Street, R.: The geometry of tensor calculus I, Adv. Math. 88 (1991), 55-112.
14. Koslowski, J.: Monads and interpolads in bicategories, Theory Appl. Categ. 3(8) (1997), 182-212.
15. Koslowski, J.: A convenient category for games and interaction, to appear in Appl. Categ. Structures (1998).
16. Lambek, J.: Deductive systems and categories III, in Topases, Algebraic Geometry and Logic (Halifax, 1971), Lecture Notes in Math. 247, Springer-Verlag, Berlin, 1972, pp. 57-82.
17. Lambek, J.: From categorical grammar to bilinear logic, in K. Došen and P. Schroeder-Heister (eds.), Substructural logics, Stud. Logic Comput. 2, Oxford Science Publications, 1993.
18. Rosenthal, K. I.: The Theory of Quantaloids, Pitman Res. Notes Math. 348, Longman Scientific & Technical, Harlow, Essex, 1996.
19. Street, R.: The formal theory of monads, J. Pure Appl. Algebra 2 (1972), 149-168.
20. Street, R.: Quantum Groups: An Entrée to Modern Algebra, Macquarie University, ftp://ftp.mpce.mq.edu.au/pub/maths/TeX/Quantum, 1991.
21. Street, R.: Higher categories, strings, cubes and simplex equations, Appl. Categ. Structures 3 (1995), 29-77, 303.
22. Street, R.: Categorical structures, in M. Hazewinkel (ed.), Handbook of Algebra, Vol. 1. Elsevier Science, Amsterdam, 1996, pp. 529-577.
23. Street, R. and Walters, R. F. C.: Yoneda structures on 2-categories, J. Algebra 50 (1978), 350-379.