3 citations · 3 across the 3 of their papers we have counts for
3 papers
math.CT2024
Combining fixpoint and differentiation theory
Zeinab Galal, Jean-Simon Pacaud Lemay
Interactions between derivatives and fixpoints have many important applications in both computer science and mathematics. In this paper, we provide a categorical framework to combi…
cs.LO2023★ 3 cited
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…
math.CT2023
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…