Jean-Baptiste Vienney

collaborators

3 papers

math.CT2026

Extracting an $N$ -filtered differential modality from a differential modality

Jean-Baptiste Vienney

A differential modality is a comonad on an additive symmetric monoidal category $(C, \otimes, I)$ , whose underlying functor we denote $!\colon\mathsf{C} \rightarrow \mathsf{…

math.CT2025

A bialgebraic characterization of symmetric powers in $Q_{\geq 0}$ -linear symmetric monoidal categories

Jean-Baptiste Vienney

In any symmetric monoidal category, the $n$ -th (co)equalizer symmetric power of an object $A$ is the (co)equalizer of all the permutations from $A^{\otimes n}$ to itself. If the sy…

math.CT2025

An algebra modality admitting countably many deriving transformations

Jean-Baptiste Vienney

A differential category is an additive symmetric monoidal category, that is, a symmetric monoidal category enriched over commutative monoids, with an algebra modality, axiomatizing…

Extracting an N-filtered differential modality from a differential modality

A bialgebraic characterization of symmetric powers in Q≥0​-linear symmetric monoidal categories

An algebra modality admitting countably many deriving transformations

Extracting an $N$ -filtered differential modality from a differential modality

A bialgebraic characterization of symmetric powers in $Q_{\geq 0}$ -linear symmetric monoidal categories