Free compact 2-categories

DOI10.1017/S0960129506005901zbMath1151.18007MaRDI QIDQ3444644

Anne Preller

Publication date: 4 June 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

transition systemcomputational linguistic2-category grammarsfree compact 2-category

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) General logic (03B99) Foundations, relations to logic and deductive systems (18A15)

Related Items (16)

Natural language semantics in biproduct dagger categories ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ DisCoPy: Monoidal Categories in Python ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Type logics and pregroups ⋮ Linear processing with pregroups ⋮ Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars ⋮ Toward discourse representation via pregroup grammars ⋮ Bell States and Negative Sentences in the Distributed Model of Meaning ⋮ Linguistic matrix theory ⋮ Extensions of Lambek Calculi ⋮ Directed Homotopy in Non-Positively Curved Spaces

This page was built for publication: Free compact 2-categories