Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

A convenient differential category

Abstract : In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such spaces were introduced by Frölicher and Kriegl, where they were called convenient vector spaces. While much of the structure necessary to demonstrate this observation is already contained in Frölicher and Kriegl's book, we here give a new interpretation of the category of convenient vector spaces as a model of the differential linear logic of Ehrhard and Regnier. Rather than base our proof on the abstract categorical structure presented by Frölicher and Kriegl, we prefer to focus on the bornological structure of convenient vector spaces. We believe bornological structures will ultimately yield a wide variety of models of differential logics.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Christine Tasson Connect in order to contact the contributor
Submitted on : Tuesday, June 15, 2010 - 6:02:52 PM
Last modification on : Friday, February 18, 2022 - 3:37:03 AM
Long-term archiving on: : Wednesday, September 15, 2010 - 8:42:50 PM


Files produced by the author(s)


  • HAL Id : hal-00492424, version 1
  • ARXIV : 1006.3140



Richard Blute, Thomas Ehrhard, Christine Tasson. A convenient differential category. 2010. ⟨hal-00492424⟩



Record views


Files downloads