Differentiation in probabilistic coherence spaces
Abstract
Probabilistic coherence spaces are a model of classical linear logic but not a model of differential linear logic. Nevertheless differentiation is a perfectly meaningful operation in this model. I will explain its meaning, some of its properties and present a tentative categorical axiomatization of this operation.