Backprop as Functor: A compositional perspective on supervised learning. - Brendan Fong; David I. Spivak; Rémy Tuyéras (LICS, 2019)

A category theoretical argument for causal inference. - Rémy Tuyéras (CoRR, 2020)

Constructing a fully homomorphic encryption scheme with the Yoneda Lemma. - Rémy Tuyéras (CoRR, 2024)