2 citations · 4 across the 4 of their papers we have counts for
4 papers
Extracting an -filtered differential modality from a differential modality
Jean-Baptiste Vienney
A differential modality is a comonad on an additive symmetric monoidal category , whose underlying functor we denote $!\colon\mathsf{C} \rightarrow \mathsf{…
Uniqueness and non-uniqueness of deriving transformations
Jean-Baptiste Vienney
A differential category is an additive symmetric monoidal category with an algebra modality, axiomatizing smooth functions, and a deriving transformation, axiomatizing the differen…
A bialgebraic characterization of symmetric powers in -linear symmetric monoidal categories
Jean-Baptiste Vienney
In any symmetric monoidal category, the -th (co)equalizer symmetric power of an object is the (co)equalizer of all the permutations from to itself. If the sy…
Graded Differential Categories and Graded Differential Linear Logic
Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
In Linear Logic (), the exponential modality brings forth a distinction between non-linear proofs and linear proofs, where linear means using an argument exactly o…