  Previous work has shown that reverse differential categories give an abstract
setting for gradient-based learning of functions between Euclidean spaces.
However, reverse differential categories are not suited to handle
gradient-based learning for functions between more general spaces such as
smooth manifolds. In this paper, we propose a setting to handle this, which we
call reverse tangent categories: tangent categories with an involution
operation for their differential bundles.
