Categorical Lyapunov Theory II: Stability of Systems. - Aaron D. Ames; Sébastien Mattenet; Joe Moeller (CoRR, 2025)