Person. Sébastien Mattenet

Papers

Categorical Lyapunov Theory II: Stability of Systems ames-2025-categorical

Lyapunov’s theorem provides a foundational characterization of stable equilibrium points in dynamical systems. In this paper, we develop a framework for stability for F-coalgebras. We give two definitions for a categorical setting in which we can study the stability of a coalgebra for an endofunctor F. One is minimal and better suited for concrete settings, while the other is more intricate and provides a richer theory. We prove a Lyapunov theorem for both notions of setting for stability, and a converse Lyapunov theorem for the second.
arXiv
sebastienmattenet person entries/rolodex/sebastienmattenet.hel