Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Chiralities in topological vector spaces

Marie Kerjean 1, 2
2 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/hal-02334917
Contributor : Marie Kerjean <>
Submitted on : Thursday, February 13, 2020 - 11:20:46 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM

File

polsmooth.pdf
Files produced by the author(s)

Identifiers

Citation

Marie Kerjean. Chiralities in topological vector spaces. 2020. ⟨hal-02334917⟩

Share

Metrics

Record views

739

Files downloads

349