Abstract:We give an algebraic characterization of the syntax and semantics of a class of simply-typed languages, such as the language PCF: we characterize simply-typed binding syntax equipped with reduction rules via a universal property, namely as the initial object of some category. For this purpose, we employ techniques developed in two previous works: in [2], we model syntactic translations between languages over different sets of types as initial morphisms in a category of models. In [1], we characterize untyped syntax with reduction rules as initial object in a category of models. In the present work, we show that those techniques are modular enough to be combined: we thus characterize simply-typed syntax with reduction rules as initial object in a category. The universal property yields an operator which allows to specify translations - that are semantically faithful by construction - between languages over possibly different sets of types. We specify a language by a 2-signature, that is, a signature on two levels: the syntactic level specifies the types and terms of the language, and associates a type to each term. The semantic level specifies, through inequations, reduction rules on the terms of the language. To any given 2-signature we associate a category of models. We prove that this category has an initial object, which integrates the types and terms freely generated by the 2-signature, and the reduction relation on those terms generated by the given inequations. We call this object the (programming) language generated by the 2-signature. [1] Ahrens, B.: Modules over relative monads for syntax and semantics (2011), arXiv:1107.5252, to be published in Math. Struct. in Comp. Science [2] Ahrens, B.: Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science 8(2), 1-35 (2012)

Plurals: individuals and sets in a richly typed semantics

Plurality and Quantification in Graph Representation of Meaning

Semantic properties of English nominal pluralization: Insights from word embeddings

Plurals: A System for Guiding LLMs Via Simulated Social Ensembles

Independent Set Readings and Generalized Quantifiers

Semantic Bound and Multi Types, Revisited

Logical Validity and Alethic Pluralism: Two Problems and One Solution

Compositionality and the Prospect of a Pluralistic Semantic Theory

Paradigmatic Relations Interact During the Production of Complex Words: Evidence From Variable Plurals in Dutch

Algebraic Semantics and Mixed Validities. A Reply to Cotnoir

Poset Products as Relational Models

Initiality for Typed Syntax and Semantics

The ambiguous nature of complex semantic types: an experimental investigation

Modal Quantification over Structured Domains

Shared and distinct mechanisms in deriving linguistic enrichment

Programming with union, intersection, and negation types

The Causal Structure of Semantic Ambiguities

Generalized Epstein semantics for Parry systems

Boolean Semantics for Natural Language

Les mathématiques de la langue : l'approche formelle de Montague

An enriched category theory of language: from syntax to semantics