Free compact 2-categories

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.
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00117165
Contributeur : Anne Preller <>
Soumis le : jeudi 30 novembre 2006 - 11:59:39
Dernière modification le : jeudi 24 mai 2018 - 15:59:20
Document(s) archivé(s) le : mardi 6 avril 2010 - 19:13:57

Identifiants

  • HAL Id : lirmm-00117165, version 1

Collections

Citation

Anne Preller, Joachim Lambek. Free compact 2-categories. 12943, 2006, pp.26. 〈lirmm-00117165〉

Partager

Métriques

Consultations de la notice

195

Téléchargements de fichiers

125