17 citations · 46 across the 10 of their papers we have counts for
8 papers · 1 filter
Constructing linear bicategories
Richard Blute, Rose Kudzman-Blais, Susan Niefield
Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategoric…
Affine geometric spaces in tangent categories
R. F. Blute, G. S. H. Cruttwell, R. B. B. Lucyshyn-Wright
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the…
Differential Categories Revisited
R. F. Blute, J. R. B. Cockett, J-S. Pacaud Lemay +1
Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two d…
Finiteness spaces and generalized power series
Richard Blute, Robin Cockett, Pierre-Alain Jacqmin +1
We consider Ribenboim's construction of rings of generalized power series. Ribenboim's construction makes use of a special class of partially ordered monoids and a special class of…
Derivations in Codifferential Categories
Richard Blute, Rory B. B. Lucyshyn-Wright, Keith O'Neill
Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivati…
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…