Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Reverse derivative categories
Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher +4
The reverse derivative is a fundamental operation in machine learning and automatic differentiation. This paper gives a direct axiomatization of a category with a reverse derivativ…
math.CT2019
Involution algebroids: a generalisation of Lie algebroids for tangent categories
Matthew Burke, Benjamin MacAdam
We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in…