Fetching the paper…

Reading the bibliography…

2015

Decorated Cospans

Fong, Brendan

Original
PDF
Post on X

Understand

Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category.

We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F: (\mathcal C,+) \to (\mathcal D, \otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors.
The objects of these categories, our so-called `decorated cospan categories', are simply the objects of $\mathcal C$, while the morphisms are pairs comprising a cospan $X \rightarrow N \leftarrow Y$ in $\mathcal C$ together with an element $1 \to FN$ in $\mathcal D$.
Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.

Decorated Cospans · Around

Built on

J. Bénabou, Introduction to bicategories I. In Reports of the Midwest Category Seminar
1967
Earlier work this paper cites.
Michael Atiyah, Topological quantum field theories, Inst. Hautes Études Sci. Publ. Math
1988
Earlier work this paper cites.
A. Carboni, Matrices, relations and group representations, J. Algebra
1991
Earlier work this paper cites.
P. Katis, N. Sabadini, R. F. C. Walters, Span(Graph): A Categorial Algebra of Transition Systems, AMAST ’97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
1997
Earlier work this paper cites.
P. Katis, N. Sabadini, R. F. C. Walters, On the algebra of systems with feedback & boundary, Rendiconti del Circolo Matematico di Palermo Serie II
2000
Earlier work this paper cites.
S. Abramsky, B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th IEEE conference on Logic in Computer Science
2004
Earlier work this paper cites.

Similar

R. Rosebrugh, N. Sabadini and R. F. C. Walters, Generic commutative separable algebras and cospans of graphs, Theory Appl. Categ
2005
Cited alongside, same era.
L. Albasini, N. Sabadini, R. F. C. Walters, The compositional construction of Markov processes, Appl. Categ. Structures 19
2011
Cited alongside, same era.
P. Selinger, A survey of graphical languages for monoidal categories. In B. Coecke, ed., New Structures for Physics , Lecture Notes in Physics 813:289–355, Springer, 2011. Available as arXiv:0908.3347
Original
2011
Cited alongside, same era.
D. I. Spivak, The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits, preprint. Available as arXiv:1305.0297
Original
2013
Cited alongside, same era.
F. Bonchi, P. Sobociński, F. Zanasi, A categorical semantics of signal flow graphs. In CONCUR 2014—Concurrency Theory

Then

A. Kissinger, Finite matrices are complete for (dagger-)hypergraph categories, preprint. Available as arXiv:1406.5942
Original
2014
Later among the works it cites.
D. Vagner, D. I. Spivak, E. Lerman, Algebras of open dynamical systems on the operad of wiring diagrams, preprint. Available as arXiv:1408.1598
Original
2014
Later among the works it cites.
J. C. Baez, J. Erebele, Categories in control, Theory Appl. Categ. 30
2015
Closest in time.
J. C. Baez, B. Fong, A compositional framework for passive linear networks, preprint. Available as arXiv:1504.05625
Original
2015
Closest in time.
J. C. Baez, B. Fong, B. Pollard, A compositional framework for Markov processes, in preparation
2015
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…

2014

Cited alongside, same era.