nLab J-B Vienney

I’m a French math PhD student at the University of Ottawa. My supervisor is Rick Blute. Phil Scott was also my supervisor.

I’m interested in the logical approach to differentiation through differential linear logic and differential categories. I like trying to combine ideas from this field with the notion of graded modality to talk about ubiquitous functors in mathematics such as symmetric, exterior, divided powers or homology functors.

More broadly, I’m driven by the idea of turning some algebraic concepts from mathematics into category theory and proof theory and make everything live together in the neatest way.

I like the philosophy of Ludwig Wittgenstein and think that it is a useful inspiration for research in mathematics and computer science.

Projects

I wrote papers on:

I’m working on:

  • Several little projects related to graded differential categories and symmetric powers in additive symmetric monoidal categories.
  • Higher-order tangent categories which are a categorical framework for higher-order tangent bundles similar to tangent bundle categories.
  • Hasse-Schimdt differential categories which replace usual differentiation by Hasse-Schmidt differentiation in the notion of differential category.

Papers

category: people

Last revised on December 20, 2023 at 02:30:18. See the history of this page for a list of all contributions to it.