3 papers
math.CT2026
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
Marius Furter, Yujun Huang, Gioele Zardini
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, l…
math.CT2025
Composable Uncertainty in Symmetric Monoidal Categories for Design Problems (Extended Version)
Marius Furter, Yujun Huang, Gioele Zardini
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, l…
eess.SY2025
On Composable and Parametric Uncertainty in Systems Co-Design
Yujun Huang, Marius Furter, Gioele Zardini
Optimizing the design of complex systems requires navigating interdependent decisions, heterogeneous components, and multiple objectives. Our monotone theory of co-design offers a…