Learners' languages

zbMATH Open1530.68230arXiv2103.01189MaRDI QIDQ6153323FDOQ6153323

Authors: David I. Spivak 

Publication date: 13 February 2024

Full work available at URL: https://arxiv.org/abs/2103.01189

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

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)

Cites Work

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

Cited In (4)

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