22 citations · 63 across the 24 of their papers we have counts for
3 papers · 2 filters
Properties and Characterisations of Cofree Cartesian Differential Categories
Jean-Simon Pacaud Lemay
Cartesian differential categories come equipped with a differential operator which formalises the total derivative from multivariable calculus. Cofree Cartesian differential catego…
Traced Monads and Hopf Monads
Masahito Hasegawa, Jean-Simon Pacaud Lemay
A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has b…
Monoidal Reverse Differential Categories
Geoffrey Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay +1
Cartesian reverse differential categories (CRDCs) are a recently defined structure which categorically model the reverse differentiation operations used in supervised learning. Her…