Free compact 2-categories

Mathematical Structures in Computer Science

Volumn 17, Issue 2, 2007, Pages 309-340

  Preller, Anne ^a   Lambek, Joachim ^b  

^a LIRMM   (France)

^b MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; MATHEMATICAL TECHNIQUES;

MONOIDAL CATEGORY; PREGROUP GRAMMARS;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 36949038835     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129506005901     Document Type: Conference Paper

References (14)

1. Altenkirch, T., Hofman, M. and Streicher, T. (1995) Categorical reconstruction of a reduction-free normalization proof. In: Pitt, D., Rydeheard, D. E. and Johnstone, P. (eds.) Category Theory and Computer Science. Springer-Verlag Lecture Notes in Computer Science 953 182-199.
2. Barr, M. (1995) Non-symmetric *-autonomous categories. Theoretical Computer Science 139 115-130.
3. Buszkowski, W. (2002) Cut elimination for the Lambek calculus of adjoints. In: Abrusci, M. and Casadio, C. (eds.) Papers informal linguistics and logic, Bulzoni.
4. Degeilh, S. and Preller, A. (2005) Efficiency of pregroups and the French noun phrase. JoLLI.
5. Došen, K. (1999) Cut elimination in categories. Trends in Logic, Kluwer.
6. Došen, K. (2002) Simplicial Endomorphisms, Mathematical Institute, SANU (available at http://arXiv.org/math.GT/0301302).
7. Došen, K. and Petrić, Z. (2004) Proof theoretical coherence, Preprint of Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.
8. Eilenberg, S. (1972) Automata, Languages and Machines A, Academic Press.
9. Eilenberg, S. (1976) Automata, Languages and Machines B, Academic Press.
10. Kelly, G. M. and Laplaza, M.I. (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra 19.
11. Lambek, J. (1999) Type Grammar revisited. In: Lecomte, A. Lecomte, A., Lamarche, F. and Perrier, G. (eds.) Logical Aspects of Computational Linguistics. Springer-Verlag Lecture Notes in Artificial Intelligence 1582 1-27.
12. Lambek, J. (2004) Bicategories in algebra and linguistics. In: Ehrhard, T., Girard, J.-Y., Ruet, P. and Scott, P. (eds.) Linear logic in computer science, London Mathematical Society Lecture Note Series 316, Cambridge University Press.
13. Mac Lane, S. (1971) Categories for the working mathematician, Springer Verlag.
14. Seely, R. (1979) Weak adjointness in proof theory. In: Fourman, M. P., Mulvey, C.J. and Scott, D.S. (eds.) Applications of sheaves. Springer-Verlag Lecture Notes in Mathematics 753 697-710.