Cover Image

A Compositional Framework for First-Order Optimization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hanks, Tyler, Klawonn, Matthew, Patterson, Evan, Hale, Matthew, Fairbanks, James
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems
by: Hanks, Tyler, et al.
Published: (2023)

Generalized Gradient Descent is a Hypergraph Functor
by: Hanks, Tyler, et al.
Published: (2024)

Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design
by: Riess, Hans, et al.
Published: (2026)

Convex Duality Made Difficult
by: Rischel, Eigil Fjeldgren
Published: (2026)

The diagrammatic presentation of equations in categories
by: Arlin, Kevin, et al.
Published: (2024)

A Bayesian Interpretation of the Internal Model Principle
by: Baltieri, Manuel, et al.
Published: (2025)

Categorical Data Structures for Technical Computing
by: Patterson, Evan, et al.
Published: (2021)

DiagrammaticLearning: A Graphical Language for Compositional Training Regimes
by: Lary, Mason, et al.
Published: (2025)

Compositional System Dynamics: The Higher Mathematics Underlying System Dynamics Diagrams & Practice
by: Li, Xiaoyan, et al.
Published: (2025)

Characterizing Compositionality of LQR from the Categorical Perspective
by: She, Baike, et al.
Published: (2023)

A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks
by: Aduddell, Rebekah, et al.
Published: (2023)

Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory)
by: Stein, Dario, et al.
Published: (2023)

Asynchronous Nonlinear Sheaf Diffusion for Multi-Agent Coordination
by: Zhao, Yichen, et al.
Published: (2025)

Distributed Multi-agent Coordination over Cellular Sheaves
by: Hanks, Tyler, et al.
Published: (2025)

Representing Knowledge and Querying Data using Double-Functorial Semantics
by: Lambert, Michael, et al.
Published: (2024)

Envelopes and the bar complex
by: Hogancamp, Matthew
Published: (2024)

Composable Uncertainty in Symmetric Monoidal Categories for Design Problems (Extended Version)
by: Furter, Marius, et al.
Published: (2025)

Cartesian double theories: A double-categorical framework for categorical doctrines
by: Lambert, Michael, et al.
Published: (2023)

On Traces in Categories of Contractions
by: Fairbanks, Aaron David, et al.
Published: (2025)

Transposing cartesian and other structure in double categories
by: Patterson, Evan
Published: (2024)

Products in double categories, revisited
by: Patterson, Evan
Published: (2024)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)

Hidden Markov Models and the Bayes Filter in Categorical Probability
by: Fritz, Tobias, et al.
Published: (2024)

Nash Equilibrium Learning In Large Populations With First-Order Payoff Modifications
by: Hankins, Matthew S., et al.
Published: (2025)

Differentially Private Formation Control: Privacy and Network Co-Design
by: Hawkins, Calvin, et al.
Published: (2022)

Technical Report: A Totally Asynchronous Nesterov's Accelerated Gradient Method for Convex Optimization
by: Pond, Ellie, et al.
Published: (2024)

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
by: Bakirtzis, Georgios, et al.
Published: (2024)

Guaranteed Feasibility in Differentially Private Linearly Constrained Convex Optimization
by: Benvenuti, Alexander, et al.
Published: (2024)

Graphical Quadratic Algebra
by: Stein, Dario, et al.
Published: (2024)

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

A Fibrational Theory of First Order Differential Structures
by: Capucci, Matteo, et al.
Published: (2024)

Presenting Neural Networks via Coherent Functors
by: Pugh, Matthew, et al.
Published: (2026)

A Single-Loop First-Order Algorithm for Linearly Constrained Bilevel Optimization
by: Shen, Wei, et al.
Published: (2025)

A Distributed Asynchronous Generalized Momentum Algorithm Without Delay Bounds
by: Pond, Ellie, et al.
Published: (2025)

Doctrinal Semantics of Directed First-Order Logic
by: Laretto, Andrea, et al.
Published: (2025)

Monads in 2-categories
by: Fairbanks, Aaron David
Published: (2026)

Higher-Order Quantum Objects are Strong Profunctors
by: Wilson, Matt, et al.
Published: (2026)

Distributed Asynchronous Mixed-Integer Linear Programming with Feasibility Guarantees
by: Fina, Luke, et al.
Published: (2024)

Preservation of Loewy Diagrams Under Exact Functors
by: Rupert, Matthew
Published: (2023)

Composition and Coherence: The Syntax of Operator Networks
by: Chang, Shih-Yu
Published: (2025)