{"id":"arxiv/2604.05255","url":"https://arxiv.org/abs/2604.05255","tags":["math.CT","eess.SY","math.DS"],"score":0,"title":"Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability","domain":"math.CT","source":"arxiv","authors":["Joe Moeller","Aaron D. Ames"],"reviews":0,"subject":"math.CT","summary":"Hybrid dynamical systems exhibit a diverse array of stability phenomena, each currently addressed by separate Lyapunov-like results. We show that these results are all instances of a single theorem: a Lyapunov function is a morphism from a hybrid system into a simple stable target system $σ$, and different stability notions such as Lyapunov stability, asymptotic stability, exponential stability, and Zeno stability correspond to different choices of $σ$. This unification is achieved by expressing hybrid systems as coalgebras of an endofunctor $\\mathcal H$ on a category $\\mathsf{Chart}$ that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-06","reactions":{}}