Skip to Main content Skip to Navigation

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.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download
Contributor : Anne Preller Connect in order to contact the contributor
Submitted on : Thursday, November 30, 2006 - 11:59:39 AM
Last modification on : Tuesday, September 6, 2022 - 4:55:28 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 7:13:57 PM


  • HAL Id : lirmm-00117165, version 1



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



Record views


Files downloads