Affiliation:
1. Department of Mathematics, University of California, Riverside CA, USA 92521
2. Centre for Quantum Technologies, National University of Singapore, Singapore 117543
3. Department of Mathematics, University of Patras, Greece 265 04
Abstract
One goal of applied category theory is to understand open systems. We compare two ways of describing open systems as cospans equipped with extra data. First, given a functor L:A→X, a `structured cospan' is a diagram in X of the form L(a)→x←L(b). We give a new proof that if A and X have finite colimits and L preserves them, there is a symmetric monoidal double category whose objects are those of A and whose horizontal 1-cells are structured cospans. Second, given a pseudofunctor F:A→Cat, a `decorated cospan' is a diagram in A of the form a→m←b together with an object of F(m). Generalizing the work of Fong, we show that if A has finite colimits and F:(A,+)→(Cat,×) is symmetric lax monoidal, there is a symmetric monoidal double category whose objects are those of A and whose horizontal 1-cells are decorated cospans. We prove that under certain conditions, these two constructions become isomorphic when we take X=∫F to be the Grothendieck category of F. We illustrate these ideas with applications to electrical circuits, Petri nets, dynamical systems and epidemiological modeling.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Univalent Double Categories;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Compositional Modeling with Stock and Flow Diagrams;Electronic Proceedings in Theoretical Computer Science;2023-08-07
4. A Categorical Framework for Modeling with Stock and Flow Diagrams;Mathematics of Public Health;2023
5. EPHS: A Port-Hamiltonian Modelling Language;IFAC-PapersOnLine;2022