Categorical Foundations of Gradient-Based Learning
Open Access
- 29 March 2022
- book chapter
- Published by Springer Nature
- p. 1-28
Abstract
We propose a categorical semantics of gradient-based machine learning algorithms in terms of lenses, parametric maps, and reverse derivative categories. This foundation provides a powerful explanatory and unifying framework: it encompasses a variety of gradient descent algorithms such as ADAM, AdaGrad, and Nesterov momentum, as well as a variety of loss functions such as MSE and Softmax cross-entropy, shedding new light on their similarities and differences. Our approach to gradient-based learning has examples generalising beyond the familiar continuous domains (modelled in categories of smooth maps) and can be realized in the discrete setting of boolean circuits. Finally, we demonstrate the practical significance of our framework with an implementation in Python.Keywords
This publication has 24 references indexed in Scilit:
- Understanding deep image representations by inverting them2015
- Monoidal indeterminates and categories of possible worldsTheoretical Computer Science, 2012
- Lenses, fibrations and universal translationsMathematical Structures in Computer Science, 2011
- A Survey of Graphical Languages for Monoidal Categories2010
- BoomerangACM SIGPLAN Notices, 2008
- Towards a mathematical operational semantics2002
- Control categories and duality: on the categorical semantics of the lambda-mu calculusMathematical Structures in Computer Science, 2001
- Gradient-based learning applied to document recognitionProceedings of the IEEE, 1998
- Support-vector networksMachine Learning, 1995
- Some methods of speeding up the convergence of iteration methodsUSSR Computational Mathematics and Mathematical Physics, 1964