A convenient differential category

  title={A convenient differential category},
  author={Richard Blute and Thomas Ehrhard and Christine Tasson},
We show that the category of convenient vector spaces in the sense of Frölicher and Kriegl is a differential category. Differential categories were introduced by Blute, Cockett and Seely as the categorical models of the differential linear logic of Ehrhard and Regnier. Indeed we claim that this category fully captures the intuition of this logic. It was already evident in the monograph of Frölicher and Kriegl that the category of convenient vector spaces has remarkable structure. We here give… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
14 Citations
26 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 26 references

Linear Spaces and Differentiation Theory

  • A. Frölicher, A. Kriegl
  • Wiley,
  • 1988
Highly Influential
15 Excerpts

Bornologies and Functional Analysis

  • H. Hogbe-Nlend
  • North-Holland,
  • 1977
Highly Influential
4 Excerpts

Convenient Categories of Smooth Spaces

  • J. Baez, A. Hoffnung
  • to appear in Transactions of the American…
  • 2010
1 Excerpt

Categorical semantics of linear logic

  • P.-A. Melliès
  • Société Mathématique de France,
  • 2008
1 Excerpt

Difference Algebra

  • A. Levin
  • Springer-Verlag,
  • 2008
1 Excerpt

Full Completeness For Models Of Linear Logic

  • A. Tan
  • Unpublished Thesis
  • 2008

Similar Papers

Loading similar papers…