Free compact 2-categoriesReportar como inadecuado

Free compact 2-categories - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LIRMM - Laboratoire d-Informatique de Robotique et de Microélectronique de Montpellier 2 SOCS - School of Computer Science Quebec

Abstract : Before one can attach a meaning to a sentence, one must distinguish different ways of parsing it. When analyzing a language with pregroup grammars, we are thus led to replace the free pregroup by a free compact strict monoidal category. Since a strict monoidal category is a 2-category with one 0-cell, we investigate the free compact 2-category generated by a given category, and we describe its 2-cells as labeled transition systems. In particular, we obtain a decision procedure for the equality of 2-cells in the free compact 2-category.

Keywords : compact 2-categories non-symmetric monoidal categories normalization compact bilinear logic categorial grammars pregroup grammars

Autor: Anne Preller - Joachim Lambek -



Documentos relacionados