Coherence for star-autonomous categories

Annals of Pure and Applied Logic

Volumn 141, Issue 1-2, 2006, Pages 225-242

  Došen, Kosta ^a   Petrić, Zoran ^a  

^a MATHEMATICAL INSTITUTE   (Serbia)

Author keywords

Categorial coherence; Cut elimination; Star autonomous categories; Symmetric monoidal closed categories

Indexed keywords

EID: 33646598399     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2005.11.003     Document Type: Article

References (21)

1. Barr M. *-Autonomous Categories. Lecture Notes in Mathematics vol. 752 (1979), Springer, Berlin
2. Barr M. *-Autonomous categories and linear logic. Mathematical Structures in Computer Science vol. 1 (1991) 159-178
3. Blute R. Proof nets and coherence theorems. In: Pitt D.H., et al. (Ed). Category Theory and Computer Science. Lecture Notes in Computer Science vol. 530 (1991), Springer, Berlin 121-137
4. Blute R. Linear logic, coherence and dinaturality. Theoretical Computer Science vol. 115 (1993) 3-41
5. Brauer R. On algebras which are connected with the semisimple continuous groups. Annals of Mathematics 38 (1937) 857-872
6. Cockett J.R.B., and Seely R.A.G. Weakly distributive categories. In: Fourman M.P., et al. (Ed). Applications of Categories in Computer Science (1992), Cambridge University Press, Cambridge 45-65
7. Cockett J.R.B., and Seely R.A.G. Weakly distributive categories. Journal of Pure and Applied Algebra 114 (1997) 133-173. http://www.math.mcgill.ca/rags Updated version available at:
8. Danos V., and Regnier L. The structure of multiplicatives. Archive for Mathematical Logic 28 (1989) 181-203
9. Došen K., and Petrić Z. Isomorphic objects in symmetric monoidal closed categories. Mathematical Structures in Computer Science 7 (1997) 639-662
10. Došen K., and Petrić Z. Generality of proofs and its Brauerian representation. The Journal of Symbolic Logic 68 (2003) 740-750. http://arXiv.org/math.LO/0211090 Available at:
11. Došen K., and Petrić Z. A Brauerian representation of split preorders. Mathematical Logic Quarterly 49 (2003) 579-586. http://arXiv.org/math.LO/0211277 Misprints corrected in text available at:
12. Došen K., and Petrić Z. Proof-Theoretical Coherence (2004), KCL Publications, London
13. K. Došen, Z. Petrić, Proof-Net Categories, 2005 (preprint)
14. K. Došen, Z. Petrić, Coherence of proof-net categories, 2005 (preprint). Available at: http://arXiv.org/math.CT/0503301
15. Eilenberg S., and Kelly G.M. A generalization of the functorial calculus. Journal of Algebra 3 (1966) 366-375
16. Girard J.-Y. Linear logic. Theoretical Computer Science 50 (1987) 1-101
17. Kelly G.M., and Mac Lane S. Coherence in closed categories. Journal of Pure and Applied Algebra 1 (1971) 97-140 219
18. Y. Lafont, Logiques, catégories et machines, Doctoral Dissertation, Université de Paris VII, 1988 (we know this work only from references)
19. Mac Lane S. Natural associativity and commutativity. Rice University Studies, Papers in Mathematics vol. 49 (1963) 28-46
20. Mac Lane S. Categories for the Working Mathematician (1971), Springer, Berlin (expanded second edition, 1998)
21. Seely R.A.G. Linear logic, *-autonomous categories and cofree coalgebras. In: Gray J.W., and Scedrov A. (Eds). Categories in Computer Science and Logic. Contemporary Mathematics vol. 92 (1989), American Mathematical Society, Providence 371-382