Chiralities in topological vector spaces - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2020

Chiralities in topological vector spaces

Abstract

Differential Linear Logic extends Linear Logic by allowing the differentiation of proofs. Trying to interpret this proof-theoretical notion of differentiation by traditional analysis, one faces the fact that analysis badly accommodates with the very basic layers of Linear Logic. Indeed, tensor products are seldom associative and spaces stable by double duality enjoy very poor stability properties. In this work, we unveil the polarized settings lying beyond several models of Differential Linear Logic. By doing so, we identify chiralities - a categorical axiomatic developed from game semantics - as an adequate setting for expressing several results from the theory of topological vector spaces. In particular, complete spaces provide an interpretation for negative connectives, while barrelled or bornological spaces provide an interpretation for positive connectives.
Fichier principal
Vignette du fichier
polsmooth.pdf (614.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02334917 , version 4 (13-02-2020)

Identifiers

Cite

Marie Kerjean. Chiralities in topological vector spaces. 2020. ⟨hal-02334917⟩
403 View
281 Download

Altmetric

Share

Gmail Facebook X LinkedIn More