An enriched category theory of language: from syntax to semantics

DOI10.1007/s44007-022-00021-2zbMath1491.18008arXiv2106.07890MaRDI QIDQ2153136

Yiannis Vlassopoulos, John Terilla, Tai-Danae Bradley

Publication date: 1 July 2022

Published in: La Matematica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2106.07890

zbMATH Keywords

probability; compositionality; natural language; category theory; logic; Yoneda embedding

Mathematics Subject Classification ID

18B25: Topoi

18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)

18A35: Categories admitting limits (complete categories), functors preserving limits, completions

18B35: Preorders, orders, domains and lattices (viewed as categories)

18A25: Functor categories, comma categories

18D20: Enriched categories (over closed or monoidal categories)

Uses Software

• Tensor2Tensor
• GPT-3

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• Tropical convexity
• Tight spans, Isbell completions and semi-tropical modules
• Categorical Homotopy Theory
• Metric spaces, generalized logic, and closed categories
• Adjointness in Foundations
• The tropical Grassmannian
• Lambek pregroups are Frobenius spiders in preorders
• Basic Category Theory
• From Frequency to Meaning: Vector Space Models of Semantics
• An Invitation to Applied Category Theory
• Semantic Unification
• Introduction to tropical algebraic geometry
• Brief introduction to tropical geometry