Stateful Lenses - A Recipe for Expressive Systems-Theoretic Cartesian Double Categories

Watch a Berkeley Seminar presentation exploring the mathematical foundations of stateful lenses and their role in systems theory through double categorical frameworks. Delve into work-in-progress research that unifies different system types under operad algebras of symmetric monoidal double categories, with specific focus on resource sharers and Moore machines. Learn how both these systems exist within the same cartesian double category, with resource sharers as horizontal morphisms into the terminal object and Moore machines as horizontal morphisms out of it. Discover how this framework applies to both discrete and continuous systems, including energy-driven open systems, while offering a more streamlined structural approach compared to traditional double operad perspectives.