{"id":"arxiv/2604.07242","url":"https://arxiv.org/abs/2604.07242","tags":["cs.LG","math.CT"],"score":0,"title":"Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning","domain":"cs.LG","source":"arxiv","authors":["Vincent Abbott","Gioele Zardini"],"reviews":0,"subject":"cs.LG","summary":"Despite deep learning models running well-defined mathematical functions, we lack a formal mathematical framework for describing model architectures. Ad-hoc notation, diagrams, and pseudocode poorly handle nonlinear broadcasting and the relationship between individual components and composed models. This paper introduces a categorical framework for deep learning models that formalizes broadcasting through the novel axis-stride and array-broadcasted categories. This allows the mathematical function underlying architectures to be precisely expressed and manipulated in a compositional manner.…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-08","reactions":{}}