Differential categories

  title={Differential categories},
  author={Richard Blute and J. Robin B. Cockett and Robert A. G. Seely},
  journal={Mathematical Structures in Computer Science},
  pages={1049 - 1083}
Following work of Ehrhard and Regnier, we introduce the notion of a differential category: an additive symmetric monoidal category with a comonad (a ‘coalgebra modality’) and a differential combinator satisfying a number of coherence conditions. In such a category one should imagine the morphisms in the base category as being linear maps and the morphisms in the coKleisli category as being smooth (infinitely differentiable). Although such categories do not necessarily arise from models of… 

Differential Categories Revisited

Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches

Differential Categories Revisited

It is proved that these apparently distinct notions of differentiation, in the presence of a monoidal coalgebra modality, are completely equivalent and, for linear logic settings, there is only one notion of differentiation.

Derivations in Codifferential Categories

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain

Integral categories and calculus categories

It is shown that a calculus category with a monoidal coalgebra modality has its integral transformation given by antiderivatives and, thus, that the integral structure is uniquely determined by the differential structure.

Convenient antiderivatives for differential linear categories

Abstract Differential categories axiomatize the basics of differentiation and provide categorical models of differential linear logic. A differential category is said to have antiderivatives if a

Convenient antiderivatives for differential linear categories

  • J. Lemay
  • Mathematics
    Math. Struct. Comput. Sci.
  • 2020
This paper shows that Blute, Ehrhard, and Tasson's differential category of convenient vector spaces has antiderivatives and shows that generalizations of the relational model (which are biproduct completions of complete semirings) are also differential categories with antidervatives.

Properties and Characterisations of Cofree Cartesian Differential Categories

Cartesian differential categories come equipped with a differential operator which formalises the total derivative from multi-variable calculus. There always exists cofree Cartesian differential

Cartesian Differential Categories as Skew Enriched Categories

It is proved that every small cartesian differential category admits a full, structure-preserving embedding into the cartesiandifferential category induced by a differential modality (in fact, a monoidal differentialmodality on amonoidal closed category—thus, a model of intuitionistic differential linear logic).

Finiteness Spaces and Generalized Power Series




Linear Logic, -Autonomous Categories and Cofree Coalgebras

A brief outline of the categorical characterisation of Girard's linear logic is given, analagous to the relationship between cartesian closed categories and typed-calculus. The linear structure

Finiteness spaces

  • T. Ehrhard
  • Mathematics, Computer Science
    Mathematical Structures in Computer Science
  • 2005
A new denotational model of linear logic based on the purely relational model, where webs are equipped with a notion of ‘finitary’ subsets satisfying a closure condition and proofs are interpreted as finitary sets is investigated.

Natural deduction and coherence for weakly distributive categories

On Köthe sequence spaces and linear logic

  • T. Ehrhard
  • Mathematics
    Mathematical Structures in Computer Science
  • 2002
This work provides a simple setting in which typed λ-calculus and differential calculus can be combined and gives a few examples of computations.

Introduction to distributive categories

  • J. Cockett
  • Mathematics
    Mathematical Structures in Computer Science
  • 1993
This paper describes a series of embedding theorems, which show that any distributive category has a full faithful embedding into a recognizable distributivecategory, and which can be "solidified" faithfully to produce an extensive distributive categories.

Differential Calculus in Braided Abelian Categories

AbstractBraided non-commutative differential geometry is studied. In particular we investigate the theory of (bi-covariant) differential calculi in braided abelian categories. Previous results on

Quantum Groups

This thesis consists of four papers. In the first paper we present methods and explicit formulas for describing simple weight modules over twisted generalized Weyl algebras. Under certain conditions

Free braided differential calculus, braided binomial theorem, and the braided exponential map

Braided differential operators ∂i are obtained by differentiating the addition law on the braided covector spaces introduced previously (such as the braided addition law on the quantum plane). These

! and ? – Storage as tensorial strength

  • R. BluteJ. CockettRobert A. G. Seely
  • Mathematics
    Mathematical Structures in Computer Science
  • 1996
This work analyzes coherence for coherence in the negation-free structure of multiplicative linear logic using a modiication of the usual nets due to Danos, a form suitable for linear logic with exponentials but without negation.

Differential calculus on compact matrix pseudogroups (quantum groups)

The paper deals with non-commutative differential geometry. The general theory of differential calculus on quantum groups is developed. Bicovariant bimodules as objects analogous to tensor bundles