A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
Spivak (2013):The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
The paper gives a category-theoretic model of narrative programs via Kleisli semantics on Set and hypergraph composition for narrative trajectories.
citing papers explorer
-
Compositionality of Lyapunov functions via assume-guarantee reasoning
A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.
-
Kleisli semantics and hypergraph composition for Greimasian narrative programs
The paper gives a category-theoretic model of narrative programs via Kleisli semantics on Set and hypergraph composition for narrative trajectories.