Abstract:Intensional computation derives concrete outputs from abstract function definitions; extensional computation defines functions through explicit input-output pairs. In formal semantics: intensional computation interprets expressions as context-dependent functions; extensional computation evaluates expressions based on their denotations in an otherwise fixed context. This paper reformulates typed extensional and intensional models of formal semantics within a category-theoretic framework and demonstrates their natural representation therein. We construct $\textbf{ModInt}$, the category of intensional models, building on the categories $\textbf{Set}$ of sets, $\textbf{Rel}$ of relations, and $\textbf{Kr}$ and $\textbf{Kr}_\textbf{b}$ of Kripke frames with monotone maps and bounded morphisms, respectively. We prove that trivial intensional models are equivalent to extensional models, providing a unified categorical representation of intensionality and extensionality in formal semantics. This approach reinterprets the relationship between intensions and extensions in a categorical framework and offers a modular, order-independent method for processing intensions and recovering extensions; contextualizing the relationship between content and reference in category-theoretic terms. We discuss implications for natural language semantics and propose future directions for contextual integration and exploring $\textbf{ModInt}$'s algebraic properties.

Relative Properties of Frame Language

Categorical Properties of Logical Frameworks

Quantitative Equality in Substructural Logic via Lipschitz Doctrines

Equivalence in functional languages with effects

A First-Order Logic with Frames

A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction

Some Equalities and Inequalities for Fusion Frames.

Equivalence and Conditional Independence in Atomic Sheaf Logic

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics

Bialgebraic Reasoning on Higher-Order Program Equivalence

Visser frames for sublogics of $\mathbf{IL}$

A relational model for object-oriented design

Some Equalities and Inequalities for Generalized Frames

Some Equalities and Inequalities for Probabilistic Frames

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

The syntactic side of autonomous categories enriched over generalised metric spaces

The finite frame property of some extensions of the pure logic of necessitation

Erasures and Equalities for Fusion Frames in Hilbert Spaces

Some Properties of Internal Locale Morphisms Externalised

Translations: generalizing relative expressiveness between logics

Relativization is naturally functorial