A convenient differential category

Resource type
Authors/contributors
Title
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\"olicher and Kriegl, where they were called convenient vector spaces. While much of the structure necessary to demonstrate this observation is already contained in Fr\"olicher 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\"olicher 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.
Publication
arXiv:1006.3140 [cs, math]
Date
2010-06-16
Accessed
2019-11-28T18:10:01Z
Library Catalog
Extra
ZSCC: 0000054 arXiv: 1006.3140
Citation
Blute, R., Ehrhard, T., & Tasson, C. (2010). A convenient differential category. ArXiv:1006.3140 [Cs, Math]. Retrieved from http://arxiv.org/abs/1006.3140
DIFFERENTIAL CALCULUS
Attachment
Processing time: 0.03 seconds

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references