Cartesian Differential Categories as Skew Enriched Categories
Cartesian Differential Categories as Skew Enriched Categories
Abstract We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids—or in a straightforward generalisation, the category of modules over a commutative rig k . However, the tensor product on this …