22 citations · 63 across the 24 of their papers we have counts for
29 papers
Proceedings Eighth International Conference on Applied Category Theory
Amar Hadzihasanovic, Jean-Simon Pacaud Lemay
The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 con…
Moore-Penrose Dagger Categories
Robin Cockett, Jean-Simon Pacaud Lemay
The notion of a Moore-Penrose inverse (M-P inverse) was introduced by Moore in 1920 and rediscovered by Penrose in 1955. The M-P inverse of a complex matrix is a special type of in…
Cartesian Differential Kleisli Categories
Jean-Simon Pacaud Lemay
Cartesian differential categories come equipped with a differential combinator which axiomatizes the fundamental properties of the total derivative from differential calculus. The…
Reverse Tangent Categories
Geoffrey Cruttwell, Jean-Simon Pacaud Lemay
Previous work has shown that reverse differential categories give an abstract setting for gradient-based learning of functions between Euclidean spaces. However, reverse differenti…
Hopf Monads on Biproducts
Masahito Hasegawa, Jean-Simon Pacaud Lemay
A Hopf monad, in the sense of Bruguières, Lack, and Virelizier, is a special kind of monad that can be defined for any monoidal category. In this note, we study Hopf monads in the…
Classical Distributive Restriction Categories
Robin Cockett, Jean-Simon Pacaud Lemay
In the category of sets and partial functions, , while the disjoint union is the usual categorical coproduct, the Cartesian product becomes a restri…