Learners' languages

MaRDI QIDQ6153323zbMATH OpenFDO

Authors David I. Spivak

Publication date 13 February 2024

Full work available at URL https://arxiv.org/abs/2103.01189, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.2

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Functor categories, comma categories (18A25) Monoidal categories, symmetric monoidal categories (18M05) Categories of machines, automata (18B20)

Recommendations

• Backprop as functor. A compositional perspective on supervised learning
• Categorical foundations of gradient-based learning
• A category theory approach to the semiotics of machine learning
• Categorical semantics of a simple differential programming language
• Categories of Differentiable Polynomial Circuits for Machine Learning

Cites work

• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• An Invitation to Applied Category Theory
• Directed containers as categories
• Introduction to coalgebra. Towards mathematics of states and observation
• Parametrized data types do not need highly constrained parameters
• Polynomial functors and polynomial monads
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(4)

• Dynamic Operads, Dynamic Categories: From Deep Learning to Prediction Markets
• Backprop as functor. A compositional perspective on supervised learning
• Categorical foundations of gradient-based learning
• A category theory approach to the semiotics of machine learning

This page was built for publication: Learners' languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6153323)