Cartesian differential categories as skew-enriched categories
Richard Garner – 8 May 2019
We prove part (m) of the theorem "For all X, X is an enriched category" by describing cartesian differential categories as categories enriched over a skew-warping of the usual monoidal structure on commutative monoids. An essential role is played by the formula of the Blessed Francisco Faa di Bruno.
Back