Abstract:In categorical realizability, it is common to construct categories of assemblies and categories of modest sets from applicative structures. These categories have structures corresponding to the structures of applicative structures. In the literature, classes of applicative structures inducing categorical structures such as Cartesian closed categories and symmetric monoidal closed categories have been widely studied. In this paper, we expand these correspondences between categories with structure and applicative structures by identifying the classes of applicative structures giving rise to closed multicategories, closed categories, monoidal bi-closed categories as well as (non-symmetric) monoidal closed categories. These applicative structures are planar in that they correspond to appropriate planar lambda calculi by combinatory completeness. These new correspondences are tight: we show that, when a category of assemblies has one of the structures listed above, the based applicative structure is in the corresponding class. In addition, we introduce planar linear combinatory algebras by adopting linear combinatory algebras of Abramsky, Hagjverdi and Scott to our planar setting, that give rise to categorical models of the linear exponential modality and the exchange modality on the non-symmetric multiplicative intuitionistic linear logic.

Categorical absorptions of singularities and degenerations

Categorical absorption of a non-isolated singularity

Categorical resolutions of cuspidal singularities

Admissible subcategories of noncommutative curves

Categorical crepant resolutions for quotient singularities

Triangulated characterizations of singularities

$\mathbb{Z}/2\mathbb{Z}$-Equivariant smoothings of cusp singularities

Singularity categories and singular loci of certain quotient singularities

Categorical Primitive Forms and Gromov-Witten Invariants of an Singularities

A Note on the Strict Transformation of an Effective Cartier Divisor

Colocalizing subcategories of singularity categories

Annihilators and decompositions of singularity categories

Noncommutative crepant resolutions of $cA_n$ singularities via Fukaya categories

Derived categories of Quot schemes on smooth curves and tautological bundles

A categorical view of varieties and equations

Categorical resolutions of filtered schemes

Non-commutative nature of $\ell$-adic vanishing cycles

An $(\infty,n)$-categorical straightening-unstraightening construction

Singularities of Discrete Indefinite Affine Minimal Surfaces

How Logic Interacts with Geometry: Infinitesimal Curvature of Categorical Spaces

Categorical Realizability for Non-symmetric Closed Structures