Jean-Baptiste Vienney

activity

20232026

most citedA bialgebraic characterization of symmetric powers in

Q_{\geq 0}

-linear symmetric monoidal categories

2 citations · 4 across the 4 of their papers we have counts for

collaborators

Showing math.CTShow all

3 papers · 1 filter

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

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…

math.CT2023★ 2 cited

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…

Extracting an N-filtered differential modality from a differential modality

Uniqueness and non-uniqueness of deriving transformations

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

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

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