An enriched category theory of language: from syntax to semantics

DOI10.1007/s44007-022-00021-2zbMath1491.18008arXiv2106.07890OpenAlexW3167361329MaRDI 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

probabilitycompositionalitynatural languagecategory theorylogicYoneda embedding

Mathematics Subject Classification ID

Topoi (18B25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Preorders, orders, domains and lattices (viewed as categories) (18B35) Functor categories, comma categories (18A25) Enriched categories (over closed or monoidal categories) (18D20)

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

This page was built for publication: An enriched category theory of language: from syntax to semantics