Fetching the paper…
Reading the bibliography…
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans.
S. Mac Lane, Categorical algebra, Bull. Amer. Math. Soc. 71
1965
Earlier work this paper cites.
J. Bénabou, Introduction to bicategories, in Reports of the Midwest Category Seminar
1967
Earlier work this paper cites.
A. Carboni, R. F. C. Walters, Cartesian bicategories I, J. Pure Appl. Alg
1987
Earlier work this paper cites.
A. Joyal, R. Street, The geometry of tensor calculus I, Advances in Mathematics 88
1991
Earlier work this paper cites.
A. Burroni, Higher dimensional word problems with applications to equational logic, Theoretical Computer Science
1993
Earlier work this paper cites.
R. D. Jayawardene, O. Wyler, Categories of relations and functional relations, RR 96-194, Carnegie Mellon University, 1996
1996
Earlier work this paper cites.
1997
Earlier work this paper cites.
S. Milius, Relations in categories, MA thesis, York University, Ontario, 2000
2000
Earlier work this paper cites.
R. Bruni, F. Gadducci, Some algebraic laws for spans (and their connections with multi-relations), in RelMiS 2001
2001
Cited alongside, same era.
M. Grandis, Finite sets and symmetric simplicial sets, Theory Appl. Categ
2001
Cited alongside, same era.
T. Pirashvili, On the PROP corresponding to bialgebras, Cah. Top. Géom. Diff. Cat , 43
2002
Cited alongside, same era.
K. Došen and Z. Petrić, Generality of proofs and its Brauerian representation, J. Symbolic Logic
2003
Cited alongside, same era.
F. W. Lawvere, R. Rosebrugh, Sets for Mathematics , Cambridge University Press, 2003
2003
Cited alongside, same era.
S. Lack, Composing PROPs, Theory Appl. Categ
2004
Cited alongside, same era.
F. Bonchi, P. Sobociński, F. Zanasi, A categorical semantics of signal flow graphs, in CONCUR 2014, LNCS 8704
2014
Later among the works it cites.
D. Ellerman, An introduction to partition logic, Logic Journal of the Interest Group in Pure and Applied Logic
2014
Later among the works it cites.
T. Trimble, Multisorted Lawvere theories, version April 27 2014, nlab. Available at http://ncatlab.org/toddtrimble/published/multisorted+Lawvere+theories
2014
Later among the works it cites.
J. C. Baez, J. Erbele, Categories in control, Theory Appl. Categ
2015
Later among the works it cites.
S. J. Wadsley, N. Woods, PROPs for linear systems, preprint, 2015. arXiv:1505.00048
2015
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
R. Rosebrugh, N. Sabadini, R. F. C. Walters, Calculating colimits compositionally, in Montanari Festschrift, LNCS 5065
2008
Cited alongside, same era.
K. Došen and Z. Petrić, Syntax for split preorders, Annals of Pure and Applied Logic
2012
Cited alongside, same era.
J. C. Baez, B. Coya, The category of bond graphs, in preparation
Cited in the paper.
Cited in the paper.
B. Fong, Decorated corelations, in preparation
Cited in the paper.
Cited in the paper.
F. Zanasi, Interacting Hopf algebras—the theory of linear systems , PhD thesis, École Normale Supériere de Lyon, 2015. Available at http://zanasi.com/fabio/IHthesis_FZ.pdf
2015
Later among the works it cites.
B. Coecke, A. Kissinger, Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
2016
Closest in time.