Chiralities in topological vector spaces - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Chiralities in topological vector spaces

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Marie Kerjean. Chiralities in topological vector spaces. 2020. ⟨hal-02334917⟩
404 Consultations
282 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More