Autonomous categories, revisited

Journal of Pure and Applied Algebra

Volumn 111, Issue 1-3, 1996, Pages 1-20

  Barr, Michael ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030602945     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/0022-4049(95)00040-2     Document Type: Article

References (8)

1. [1] M. Barr, *-Autonomous Categories, Lecture Notes in Mathematics, Vol. 752 (Springer, Berlin, 1979).
2. [2] M. Barr, *-Autonomous categories and linear logic, Math. Structures Comput. Sci. 1 (1991) 159-178.
3. [3] P.-H. Chu, Constructing *-autonomous categories, 1979; appendix to Ref. [1].
4. [4] J. Dieudonné, Introduction to the Theory of Formal Groups (Marcel Dekker, New York, 1973).
5. [5] J.-Y. Girard, Linear logic, Theoret. Comput. Sci. 46 (1986) 1-102.
6. [6] I. Glicksberg, Uniform boundedness for groups, Canadian J. Math. 14 (1962) 269-276.
7. [7] S. Lefschetz, Algebraic Topology. American Mathematical Society Colloquium Publications, Vol. 23 (Amer. Mathematical Soc., Providence, RI, 1942).
8. [8] D. Pavlovic, The Chu construction and cofree models of classical linear logic, to appear.