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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.