Differentiable causal computations via delayed trace

DOI10.5555/3470152.3470168MaRDI QIDQ6654481zbMATH OpenFDO

Authors David Sprunger, Shin-ya Katsumata

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470168

zbMATH Keywords

backpropagation through timeCcartesian differential categoriesdelayed trace operatorsrecurrent neural networkssignal flow graphs

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of computing (68Qxx)

Recommendations

• Categorical semantics of a simple differential programming language
• Monoidal reverse differential categories
• Feedback, trace and fixed-point semantics
• Change actions: models of generalised differentiation

Cited in

(6)

• Cartesian differential Kleisli categories
• Coinductive streams in monoidal categories
• Combining fixpoint and differentiation theory
• Differentiable causal computations via delayed trace (extended version)
• Fan-causality and uniform continuity on final coalgebras
• A complete theory of sequential digital circuits: denotational, operational and algebraic semantics

This page was built for publication: Differentiable causal computations via delayed trace

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