17 citations · 22 across the 2 of their papers we have counts for
2 papers
math.CT2014★ 17 cited
Cartesian Differential Storage Categories
Richard Blute, Robin Cockett, Robert Seely
Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose obj…
cs.LO2010★ 5 cited
A convenient differential category
Richard Blute, Thomas Ehrhard, Christine Tasson
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…