3 papers
math.CT2025
The cohomology objects of a semi-abelian variety are small
Sébastien Mattenet, Tim Van der Linden, Raphaël M. Jungers
A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of -step extensions (i.e., equivalence classes of exact sequences of a gi…
math.DS2025
Categorical Lyapunov Theory II: Stability of Systems
Aaron D. Ames, Sébastien Mattenet, Joe Moeller
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.…
math.DS2024
Memoryless concretization relation
Julien Calbert, Sébastien Mattenet, Antoine Girard +1
We introduce the concept of memoryless concretization relation (MCR) to describe abstraction within the context of controller synthesis. This relation is a specific instance of alt…