Differential categories
From MaRDI portal
Publication:3419787
DOI10.1017/S0960129506005676zbMath1115.03092MaRDI QIDQ3419787
R. A. G. Seely, Richard F. Blute, J. Robin B. Cockett
Publication date: 7 February 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
linear logiccoherence spacescomonaddifferential categorycategorical modeldifferential combinatorcoKleisli categorydifferential \(\lambda\)-calculusadditive symmetric monoidal categorystorage modality
Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (42)
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Cartesian differential categories as skew enriched categories ⋮ What is a categorical model of the differential and the resource λ-calculi? ⋮ Monoidal reverse differential categories ⋮ Finiteness spaces and generalized power series ⋮ Cartesian integral categories and contextual integral categories ⋮ Categorical Models for Simply Typed Resource Calculi ⋮ Differential interaction nets ⋮ Unnamed Item ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Modeling linear logic with implicit functions ⋮ Unnamed Item ⋮ The linear-non-linear substitution 2-monad ⋮ Categorical semantics of a simple differential programming language ⋮ Hypernormalisation in an abstract setting ⋮ Smooth coalgebra: testing vector analysis ⋮ 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 ⋮ Weighted models for higher-order computation ⋮ Quantum computation: from a programmer's perspective ⋮ Cofree coalgebras and differential linear logic ⋮ Convenient antiderivatives for differential linear categories ⋮ The shuffle quasimonad and modules with differentiation and integration ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Constructing Differential Categories and Deconstructing Categories of Games ⋮ A Tangent Category Alternative to the Fa\`a di Bruno Construction ⋮ Differential algebras in codifferential categories ⋮ A linear category of polynomial diagrams ⋮ Unnamed Item ⋮ Exponential functions in Cartesian differential categories ⋮ Unnamed Item ⋮ A categorical framework for the quantum harmonic oscillator ⋮ Differential categories revisited ⋮ Affine geometric spaces in tangent categories ⋮ Jets and differential linear logic ⋮ Unnamed Item
This page was built for publication: Differential categories
