17 citations · 22 across the 2 of their papers we have counts for
1 paper · 1 filter
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…