Free compact 2-categories - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Rapport Année : 2006

Free compact 2-categories

Joachim Lambek
  • Fonction : Auteur
  • PersonId : 836895

Résumé

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.
Fichier principal
Vignette du fichier
FreeCompact2Categories.pdf (257.81 Ko) Télécharger le fichier
Loading...

Dates et versions

lirmm-00117165 , version 1 (30-11-2006)

Identifiants

  • HAL Id : lirmm-00117165 , version 1

Citer

Anne Preller, Joachim Lambek. Free compact 2-categories. 12943, 2006, pp.26. ⟨lirmm-00117165⟩
140 Consultations
94 Téléchargements

Partager

More