Highly Influenced

# A convenient differential category

@article{Blute2010ACD, title={A convenient differential category}, author={Richard Blute and Thomas Ehrhard and Christine Tasson}, journal={CoRR}, year={2010}, volume={abs/1006.3140} }

- Published 2010 in ArXiv

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