22 citations · 63 across the 24 of their papers we have counts for
4 papers · 1 filter
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…
A Tangent Category Alternative to the Faà di Bruno Construction
Jean-Simon Lemay
The Faà di Bruno construction, introduced by Cockett and Seely, constructs a comonad whose coalgebras are precisely Cartesian differential categories. In o…
Lifting Coalgebra Modalities and Model Structure to Eilenberg-Moore Categories
Jean-Simon Pacaud Lemay
A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic (), known as a \emph{linear category}, is a symmetric monoidal clo…
Differential Algebras in Codifferential Categories
Jean-Simon P. Lemay
Differential categories were introduced by Blute, Cockett, and Seely as categorical models of differential linear logic and have since lead to abstract formulations of many notions…