Richard Garner

Free differential modalities

Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation . When they do, we speak of a monoidal differential modality ; when they do not, we have merely a monoidal coalgebra modality . More generally, there...