Cofree coalgebras and differential linear logic
arXiv:1701.01285 · doi:10.1017/S0960129520000134
Abstract
We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differential linear logic, and that the Cartesian closed category of cofree coalgebras is a model of the simply-typed differential lambda calculus.
New introduction to the cofree coalgebra and relevant geometric intuition, and a discussion of the differential lambda calculus