The essential interaction between classical and intuitionistic features in the system of linear logic is best described in the language of category theory. Given a symmetric monoidal closed category with products, the category can be given the structure of a *-autonomous category by a special case of the Chu construction. The main result of the paper is to show that the intuitionistic translati...

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 ...

A response signal, speed–accuracy tradeoff (SAT) variant of a same–different category task was used to examine how experience affects the speed and accuracy of retrieving conceptual information in first (L1) and second (L2) languages. Conceptual retrieval was evaluated in three bilingual groups: 10 balanced bilinguals with equal proficiency in Russian (L1) and English (L2); 9 Russian-dominant b...