Cover Image

Organizing Physics with Open Energy-Driven Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Capucci, Matteo, Lynch, Owen, Spivak, David I.
Format:	Preprint
Published:	2024
Subjects:	Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
by: Lynch, Owen, et al.
Published: (2025)

Actegories for the Working Amthematician
by: Capucci, Matteo, et al.
Published: (2022)

Classifying strict discrete opfibrations with lax morphisms
by: Capucci, Matteo, et al.
Published: (2025)

Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad
by: Libkind, Sophie, et al.
Published: (2024)

Dynamic task delegation for hierarchical agents
by: Libkind, Sophie, et al.
Published: (2024)

Learners' Languages
by: Spivak, David I.
Published: (2021)

Polynomial Functors: A Mathematical Theory of Interaction
by: Niu, Nelson, et al.
Published: (2023)

A reference for categorical structures on $\mathbf{Poly}$
by: Spivak, David I.
Published: (2022)

Clock systems for stochastic and non-deterministic categorical systems theories
by: Lynch, Owen, et al.
Published: (2026)

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

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

Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
by: Capucci, Matteo, et al.
Published: (2024)

Polynomial Universes in Homotopy Type Theory
by: Aberlé, C. B., et al.
Published: (2024)

What kind of linearly distributive category do polynomial functors form?
by: Spivak, David I., et al.
Published: (2024)

Compositionality of Lyapunov functions via assume-guarantee reasoning
by: Capucci, Matteo, et al.
Published: (2026)

Duoidal Structures for Compositional Dependence
by: Shapiro, Brandon T., et al.
Published: (2022)

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

Double Categories of Open Systems: the Cospan Approach
by: Baez, John C.
Published: (2025)

Algorithmic and Extremal Obstructions Through the Language of Cohomology
by: Azevedo, Anny Beatriz, et al.
Published: (2024)

All Concepts are $\mathbb{C}\mathbf{at}^\#$
by: Lynch, Owen, et al.
Published: (2023)

$R\text{-}\mathrm{Mod}$-enriched categories are left $\underline{R}$-module objects of $Cat(\mathbb{A}\mathrm{b})$ and $Cat(\mathbb{A}\mathrm{b})$-enriched functors
by: Doni, Matteo
Published: (2024)

Categories by Kan extension
by: Spivak, David I.
Published: (2025)

Functorial aggregation
by: Spivak, David I., et al.
Published: (2021)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

Interactions that reshape the interfaces of the interacting parties
by: Spivak, David I.
Published: (2026)

Localic Relations with Open Cones
by: van der Schaaf, Nesta
Published: (2026)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
by: Forsman, David
Published: (2024)

Separation and Gluing of Explanations on Sites of Dynamical Systems
by: Wang, Paul Z.
Published: (2026)

A Categorical Approach to Finiteness Conditions
by: Forsman, David
Published: (2025)

Algebraic Databases
by: Schultz, Patrick, et al.
Published: (2016)

An axiomatic approach to analytic $1$-affineness
by: Montagnani, Matteo, et al.
Published: (2025)

Towards a double operadic theory of systems
by: Libkind, Sophie, et al.
Published: (2025)

Additive Invariants of Open Petri Nets
by: Bumpus, Benjamin Merlin, et al.
Published: (2023)

A Categorical Treatment of Open Linear Systems
by: Stein, Dario, et al.
Published: (2024)

Computads for weak $ω$-categories as an inductive type
by: Dean, Christopher J., et al.
Published: (2022)

Open Condensed Subgroups and Mackey's Formula
by: Tang, Jiacheng
Published: (2024)

Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry
by: Montagnani, Matteo
Published: (2026)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)

A proof of Kontsevich-Soibelman conjecture
by: Efimov, Alexander I.
Published: (2009)