Jean-Baptiste Vienney

Abstract : Co-differential categories are additive symmetric monoidal categories where you can differentiate certain kind of morphisms with the help of a combination of a monad, monoids and a deriving transformation. Recently, J.-S. Pacaud Lemay...