Categorical semantics of a simple differential programming language

zbMath1477.68262arXiv2101.10491MaRDI QIDQ5019684

Unnamed Author, Jonathan Gallagher, Dorette Pronk

Publication date: 10 January 2022

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Synthetic differential geometry, tangent categories, differential categories (18F40)

Related Items

Latent Fibrations: Fibrations for Categories of Partial Maps

Uses Software

• Theano
• SciPy
• TensorFlow
• PyTorch
• Autograd
• Lantern

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Total maps of Turing categories
• Cohesive categories and manifolds
• LCF considered as a programming language
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• The delay monad and restriction categories
• Differential structure, tangent structure, and SDG
• Differential calculus over general base fields and rings.
• A lattice-theoretical fixpoint theorem and its applications
• Differential restriction categories
• Timed Sets, Functional Complexity, and Computability
• Differential categories
• Boolean and classical restriction categories
• Differential bundles and fibrations for tangent categories
• On 1-form classifiers^∗
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps