Weakly distributive categories

Journal of Pure and Applied Algebra

Volumn 114, Issue 2, 1997, Pages 133-173

  Cockett, J R B ^a   Seely, R A G ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031566124     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/0022-4049(95)00160-3     Document Type: Article

References (18)

1. [1] V.M. Abrusci, Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, J. Symbolic Logic 56 (1991) 1403-1451.
2. [2] M. Barr, *-Autonomous categories, Lecture Notes in Mathematics, Vol. 752 (springer, Berlin, 1979).
3. [3] M. Barr, Fuzzy models of linear logic, preprint, McGill University, 1991; Math. Struct. Comput. Sci., to appear. Expanded version in J. Pure Appl. Algebra, to appear.
4. [3] M. Barr, Fuzzy models of linear logic, preprint, McGill University, 1991; Math. Struct. Comput. Sci., to appear. Expanded version in J. Pure Appl. Algebra, to appear.
5. [4] R. Blute, J.R.B. Cockett, R.A.G. Seely and T. Trimble, Natural deduction and coherence for weakly distributive categories, preprint, McGill University, 1992; J. Pure Appl. Algebra 113 (1996) 229-296.
6. [4] R. Blute, J.R.B. Cockett, R.A.G. Seely and T. Trimble, Natural deduction and coherence for weakly distributive categories, preprint, McGill University, 1992; J. Pure Appl. Algebra 113 (1996) 229-296.
7. [5] J.R.B. Cockett, Introduction to distributive categories, Math. Struct. Comput. Sci. 3 (1993) 277-308.
8. [6] J.R.B. Cockett and R.A.G. Seely, Weakly distributive categories, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts, Eds., Applications of Categories to Computer Science, London Mathematical Society Lecture Note Series, Vol. 177 (1992) 45-65.
9. [7] V.C.V. de Paiva, A Dialectica-like model of linear logic, in: D.H.Pitt et al., Eds., Category Theory and Computer Science, Lecture Notes in Computer Science, Vol. 389 (Springer, Berlin, 1989).
10. [8] A. Fleury and C. Retoré, The mix rule, Math. Struct. Comput. Sci. 4 (1994) 273-285.
11. [9] J.-Y. Girard, Linear logic, Theoret. Comput. Sci. 50 (1987) 1-102.
12. [10] A. Joyal and R. Street, Braided monoidal categories, Macquarie Mathematics Report 860081, 1986.
13. [11] J. Lambek, From categorial grammar to bilinear logic, in: K. Došen and P. Schroeder-Heister, Eds., Substructural Logics, Proc. Tübingen Conf., 1990.
14. [12] H. Lindner, A remark on Mackey-functors, Manuscripta Math. 18 (1976) 273-278.
15. [13] R.A.G. Seely, Linear logic, *-autonomous categories and cofree coalgebras, in: J. Gray and A. Scedrov, Eds., Categories in Computer Science and Logic, Proc. A.M.S. Summer Res. Conf., June 1987, Contemporary Mathematics, Vol. 92 (Amer. Math. Soc. Providence, RI, 1989).
16. [13] R.A.G. Seely, Linear logic, *-autonomous categories and cofree coalgebras, in: J. Gray and A. Scedrov, Eds., Categories in Computer Science and Logic, Proc. A.M.S. Summer Res. Conf., June 1987, Contemporary Mathematics, Vol. 92 (Amer. Math. Soc. Providence, RI, 1989).
17. [14] M.E. Szabo, Polycategories, Comm. Algebra 3 (1975) 663-689.
18. [15] R.F.C. Walters, Categories for Computer Science (Cambridge University Press, Cambridge, 1992).