Introduction to linear bicategories

Mathematical Structures in Computer Science

Volumn 10, Issue 2, 2000, Pages 165-203

  Cockett J R B ^a   Koslowski J ^b   Seely§, R A G ^c  

^a UNIVERSITY OF CALGARY   (Canada)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85000502863     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129520003047     Document Type: Article

References (37)

1. Barr, M. (1979) *-Autonomous Categories. Springer-Verlag Lecture Notes in Computer Science 752.
2. Barr, M. (1995) Non-symmetric *-autonomous categories. Theoretical Computer Science 139 115—130.
3. Barr, M. (1996) The Chu construction. Theory and Applications of Categories 2 17–35.
4. Blute, R. F., Cockett, J. R. B., Seely, R.A.G. and Trimble, T. H. (1996) Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra 113 229–296.
5. Blute, R. F., Cockett, J. R. B. and Seely, R. A. G. (1996a) ! and ?: Storage as tensorial strength. Mathematical Structures in Computer Science 6 313–351.
6. Blute, R. F., Cockett, J. R. B. and Seely, R. A. G. (1998) Feedback for linearly distributive categories: traces and fixpoints. To appear in the special'Lawverefest’ issue of Journal of Pure and Applied Algebra. (Preprint, Dept. of Maths, McGill University.)
7. Cockett, J. R. B. and Seely, R.A.G. (1992) Weakly distributive categories. In: Fourman, M.P., Johnstone, P. T. and Pitts, A. M. (eds.) Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series 177 45–65.
8. Cockett, J. R. B. and Seely, R. A. G. (1997) Weakly distributive categories. Journal of Pure and Applied Algebra 114 133–173. (Updated version available at http://www.math.mcgill.ca/rags.)
9. Cockett, J. R. B. and Seely, R. A. G. (1997a) Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Theory and Applications of Categories 3 85–131.
10. Cockett, J. R. B. and Seely, R. A. G. (1999) Linearly distributive functors. Journal of Pure and Applied Algebra 143 155–203.
11. Freyd, P. J. and Scedrov, A. (1990) Categories, Allegories, Mathematical Library 39, North-Holland.
12. Girard, J.-Y. (1987) Linear logic. Theoretical Computer Science 50 1–102.
13. Higgs, D. A. and Rowe, K. A. (1989) Nuclearity in the category of complete semilattices. Journal of Pure and Applied Algebra 57 67–78. Hu, H. and Joyal, A. (1997) Coherence completions of categories. In: Brookes, S. and Mislove, M. (eds.) Proceedings, Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference. Electronic Notes in Theoretical Computer Science 6.
14. Hyland, M. and de Paiva, V. (1991) Lineales. Talk given at the Montreal Category Theory Meeting, June 1991.
15. Hyland, M. and de Paiva, V. (1993) Full intuitionistic linear logic (Extended Abstract). Annals of Pure and Applied Logic 64 (3) 273–291.
16. Joyal, A. and Street, R. (1991) The geometry of tensor calculus I. Advances in Mathematics 88 55–112.
17. Koslowski, J. (1997) Monads and interpolads in bicategories. Theory and Applications of Categories 3 182–212.
18. Koslowski, J. (1997, revised 1998) Beyond the Chu-construction. Preprint, TU Braunschweig. (To appear in Applied Categorical Structures.)
19. Lambek, J. (1958) The mathematics of sentence structure. Amer. Math. Monthly 65 154–170.
20. Lambek, J. (1966) Lectures on rings and modules, Blaisdell Publishing Co., Ginn and Co. (Currently published by the Amer. Math. Soc.)
21. Lambek, J. (1968) Deductive systems and categories I. Syntactic calculus and residuated categories. Math. Systems Theory 2 287–318.
22. Lambek, J. (1969) Deductive systems and categories II. Standard constructions and closed categories. Category Theory, Homology Theory and their Applications I. Springer-Verlag Lecture Notes in Mathematics 86 76–122.
23. Lambek, J. (1972) Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic. Toposes, algebraic geometry and logic. Springer-Verlag Lecture Notes in Mathematics 274 57–82.
24. Lambek, J. (1993) From categorial grammar to bilinear logic. In: Došen, K. and Schroeder-Heister, P. (eds.) Substructural logics, Studies in Logic and Computation 2, Oxford Science Publications.
25. Lambek, J. (1995) Deductive systems and categories in linguistics. In: Ohlbach, H. J. and Reyle, U. (eds.) Logic, Language and Reasoning, Kluwer Academic Publishers 279–294. (This paper was written in 1995.)
26. Lambek, J. (1999a) Bilinear logic and Grishin algebras. In: Orlowska, E. (ed.) Logic at Work, Physica Verlag.
27. Lambek J. (1999b) Bicategories in algebra and linguistics. Talk given in Montreal, 26 January 1999.
28. Lambek, J. and Scott, P. J. (1986) Introduction to Higher-Order Categorical Logic, Cambridge studies in advanced mathematics 7, Cambridge University Press.
29. Quinn, F. (1995) Lectures on Axiomatic Topological Quantum Field Theory. In: Freed, D. S. and Uhlenbeck, K. K. (eds.) Geometry and Quantum Field Theory, American Mathematical Society Institute for Advanced Study/Park City Mathematics Series 1 325–453.
30. Rosenthal, K. I. (1992) Girard quantaloids. Mathematical Structures in Computer Science 2 (1) 93–108.
31. Rosenthal, K. I. (1994) *-autonomous categories of bimodules. Journal of Pure and Applied Algebra 97 (2) 188–201.
32. Rowe, K. A. (1988) Nuclearity. Canad. Math. Bull. 31 227–235.
33. Schneck, R. R. (1999) Natural deduction and coherence for non-symmetric linearly distributive categories. Theory and Applications of Categories 6 105–146.
34. Seely, R. A. G. (1989) Linear logic, *-autonomous categories and cofree coalgebras. In: Gray, J. and Scedrov, A. (eds.) Categories in Computer Science and Logic. Contemporary Mathematics 92, Am. Math. Soc. 371–382. Street, R. Higher categories, strings, cubes, and simplex equations. Applied Categorical Structures 3 29–77.
35. Street, R. (1996) Categorical structures. In: Hazewinkel, M. (ed.), Handbook of Algebra, Volume 1, Elsevier Science, Amsterdam 529–577.
36. Street, R. and Walters R. F. C. (1978) Yoneda structures on 2-categories. Journal of Algebra 50 350–379.
37. Yetter, D. (1990) Quantales and (non-commutative) linear logic. Journal of Symbolic Logic 55 (1) 41–64.