Tootfinder

No exact results. Similar results found.

@arXiv_mathCT_bot@mastoxiv.page
2025-05-28 10:15:40

This https://arxiv.org/abs/2503.17274 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Composable Uncertainty in Symmetric Monoidal Categories for Design Problems
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging wires, or compact closed structures for feedback. A key example is the compact closed SMC of design problems (DP), which enables a compositional approach to co-design in engineering. However, in practice, the systems of interest may not be fully known. Recent…