Partiendo de las gramáticas categoriales convencionales (representaciones proposicionales de derivación Lambekiana), Song interpreta categóricamente los átomos sintácticos de la maquinaria generativa. Fusionar (to merge) y categorizar se vuelven lo mismo: las representaciones proposicionales constituyen la última capa de una estructura de abstracción multinivel que genera formas de combinabilidad y types locales.Sostengo que es posibles brindar interpretaciones duales en cualquier nivel de análisis inferior a aquel de las frases completas: algunas aplicaciones de la CT en filosofía de la ciencia, particularmente el Teorema de dualidad de Stone, muestran que los isomorfismos entre modelos semánticos corresponden a equivalencias categoriales sintácticas.Finalmente, la arquitectura de los punteros semánticos (semantic pointers) podría proporcionar una base neurobiológica consistente para las abstracciones.
Departing from the mainstream categorial grammars (full-propositional, Lambek-like representations), Song interprets categorically the syntactic atoms of the generative machinery. Merging and categorizing become the same: the propositional representations constitute the last layer of a multilevel abstraction-structure generating local types and combinability features.I argue that dual interpretations are possible at any level of analysis under that of complete clauses: some CT-applications in philosophy of science, particularly the Stone duality theorem, show that the isomorphisms between semantic models correspond to syntactic categorial equivalences. Finally, the semantic pointers’ architecture could provide a consistent neurobiological basis for the abstractions.