Free compact 2-categoriesReport as inadecuate




Free compact 2-categories - Download this document for free, or read online. Document in PDF available to download.

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





Author: Anne Preller - Joachim Lambek -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents