3 citations · 3 across the 3 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
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…
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…