scientific article
From MaRDI portal
Publication:3552029
zbMath1262.18004MaRDI QIDQ3552029
R. A. G. Seely, Richard F. Blute, J. Robin B. Cockett
Publication date: 20 April 2010
Full work available at URL: http://www.emis.de/journals/TAC/volumes/22/23/22-23abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
differential operatorlinear logicmonoidal categoryKleisli categorydifferential categorycoKleisli structure
Differential algebra (12H05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99)
Related Items (max. 100)
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Cartesian differential categories as skew enriched categories ⋮ Monoidal reverse differential categories ⋮ A complete equational axiomatisation of partial differentiation ⋮ Cartesian integral categories and contextual integral categories ⋮ A simplicial foundation for differential and sector forms in tangent categories ⋮ Categorical Models for Simply Typed Resource Calculi ⋮ A Simply Typed λ-Calculus of Forward Automatic Differentiation ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ An axiomatic approach to differentiation of polynomial circuits ⋮ Categorical semantics of a simple differential programming language ⋮ Differential 2-rigs ⋮ Smooth coalgebra: testing vector analysis ⋮ A coherent differential PCF ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Linearizing Combinators ⋮ Cartesian differential categories revisited ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Cofree coalgebras and differential linear logic ⋮ Convenient antiderivatives for differential linear categories ⋮ Categories of Differentiable Polynomial Circuits for Machine Learning ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Constructing Differential Categories and Deconstructing Categories of Games ⋮ Directional derivatives and higher order chain rules for abelian functor calculus ⋮ A Tangent Category Alternative to the Fa\`a di Bruno Construction ⋮ Differential algebras in codifferential categories ⋮ Differential structure, tangent structure, and SDG ⋮ Exponential functions in Cartesian differential categories ⋮ Unnamed Item ⋮ Differential categories revisited ⋮ Affine geometric spaces in tangent categories ⋮ Jets and differential linear logic ⋮ Unnamed Item
This page was built for publication: