Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
