Jets and differential linear logic

DOI10.1017/S0960129520000249zbMath1500.03018arXiv1811.06235MaRDI QIDQ4988427

James Wallbridge

Publication date: 14 May 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.06235

zbMATH Keywords

vector bundlesdifferential operatorslinear logicdifferential categories

Mathematics Subject Classification ID

Jets in global analysis (58A20) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categorical aspects of linear logic (18M45)

Uses Software

• PDE-Net

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The profinite dimensional manifold structure of formal solution spaces of formally integrable PDEs
• Linear logic
• Deep learning-based numerical methods for high-dimensional parabolic partial differential equations and backward stochastic differential equations
• Faisceaux algébriques cohérents
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Full intuitionistic linear logic
• Coherent Banach spaces: A continuous denotational semantics
• The differential lambda-calculus
• PDE-Net 2.0: learning PDEs from data with a numeric-symbolic hybrid deep network
• Descent in locally presentable categories
• Sur la géométrie des prolongements des espaces fibres vectoriels
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Factorization Algebras in Quantum Field Theory
• What is a categorical model of the differential and the resource λ-calculi?
• Categorical Models for Simply Typed Resource Calculi
• Differential categories
• *-Autonomous categories and linear logic
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Mackey-complete spaces and power series – a topological model of differential linear logic
• Integral categories and calculus categories
• On Köthe sequence spaces and linear logic
• Cofree coalgebras and differential linear logic
• A Logical Account for Linear Partial Differential Equations
• Cartesian Differential Storage Categories
• Finiteness spaces
• On Infinite-Dimensional Linear Spaces