Differentiable causal computations via delayed trace (extended version)

DOI10.1017/S0960129524000331MaRDI QIDQ6986620zbMATH OpenFDO

Authors David Sprunger, Shin-ya Katsumata

Publication date 11 May 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129524000331

zbMATH Keywords

backpropagation through timeCartesian differential categoriesdelayed trace operatorsrecurrent neural networkssignal flow graphs

Mathematics Subject Classification ID

Synthetic differential geometry, tangent categories, differential categories (18F40) Traced monoidal categories, compact closed categories, star-autonomous categories (18M10) Other nonclassical models of computation (68Q09)

Cites work

• (Co)algebraic characterizations of signal flow graphs
• A categorical semantics for causal structure
• A categorical semantics of signal flow graphs
• A coinductive calculus of streams
• A type theory for productive coprogramming via guarded recursion
• Backprop as functor. A compositional perspective on supervised learning
• Bicategories of processes
• Cartesian differential categories
• Cartesian differential categories revisited
• Categorical foundations of gradient-based learning
• Catégories structurées
• Deep learning
• Diagrammatic Semantics for Digital Circuits.
• Differentiable causal computations via delayed trace
• Differential categories
• Differential restriction categories
• Differential structure, tangent structure, and SDG
• Full abstraction for signal flow graphs
• Guarded traced categories
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 7650831 (Why is no real title available?)
• Memoryful geometry of interaction: from coalgebraic components to algebraic effects
• Monoidal streams for dataflow programming
• Open Petri nets
• Rational streams coalgebraically
• Retiming synchronous circuitry
• Stream differential equations: specification formats and solution methods
• The differential lambda-calculus
• Traced monoidal categories
• Wellfounded recursion with copatterns: a unified approach to termination and productivity

Cited in

(1)

• Compositional control-driven Boolean circuits

This page was built for publication: Differentiable causal computations via delayed trace (extended version)

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