Cartesian differential storage categories
From MaRDI portal
Publication:5261929
zbMATH Open1330.18009arXiv1405.6973MaRDI QIDQ5261929FDOQ5261929
Authors: R. A. G. Seely, Richard Blute, J. R. B. Cockett 
Publication date: 8 July 2015
Abstract: Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps. Tensor differential categories provide the framework for categorical models of differential linear logic. The coKleisli category of any tensor differential category is always a Cartesian differential category. Cartesian differential categories, besides arising in this manner as coKleisli categories, occur in many different and quite independent ways. Thus, it was not obvious how to pass from Cartesian differential categories back to tensor differential categories. This paper provides natural conditions under which the linear maps of a Cartesian differential category form a tensor differential category. This is a question of some practical importance as much of the machinery of modern differential geometry is based on models which implicitly allow such a passage, and thus the results and tools of the area tend to freely assume access to this structure. The purpose of this paper is to make precise the connection between the two types of differential categories. As a prelude to this, however, it is convenient to have available a general theory which relates the behaviour of "linear" maps in Cartesian categories to the structure of Seely categories. The latter were developed to provide the categorical semantics for (fragments of) linear logic which use a "storage" modality. The general theory of storage, which underlies the results mentioned above, is developed in the opening sections of the paper and is then applied to the case of differential categories.
Full work available at URL: https://arxiv.org/abs/1405.6973
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
Differential algebra (12H05) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99)
Cited In (20)
- Cartesian differential categories as skew enriched categories
- Linearizing combinators
- Differential algebras in codifferential categories
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Cartesian differential categories
- Jets and differential linear logic
- Categorical models of the differential \(\lambda\)-calculus revisited
- Cartesian integral categories and contextual integral categories
- Differential categories revisited
- Convenient antiderivatives for differential linear categories
- Monoidal reverse differential categories
- Exponential functions in Cartesian differential categories
- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- Title not available (Why is that?)
- Categorical models of the differential λ-calculus
- Cofree coalgebras and differential linear logic
- Integral categories and calculus categories
- Cartesian differential categories revisited
- Title not available (Why is that?)
This page was built for publication: Cartesian differential storage categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261929)
