Calculating Colimits Compositionally

A. Carboni, R.F.C. Walters, Cartesian bicategories I, Journal of Pure and Applied Algebra, 49 , pp 11-–32, 1987

1987

Earlier work this paper cites.

R.F.C. Walters, The tensor product of matrices, Lecture, International Conference on Category Theory, Louvain-la-Neuve, 1987

Original

1987

Earlier work this paper cites.

P. Katis, N. Sabadini, R.F.C. Walters, Bicategories of processes, Journal of Pure and Applied Algebra, 115, pp 141–178, 1997

1997

Earlier work this paper cites.

P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): A categorical algebra of transition systems, Proc. AMAST ’97, SLNCS 1349, pp 307–321, Springer Verlag, 1997

1997

Earlier work this paper cites.

P. Katis, N. Sabadini, R.F.C. Walters, On the algebra of systems with feedback and boundary, Rendiconti del Circolo Matematico di Palermo Serie II, Suppl. 63: pp 123–156, 2000

2000

Cited alongside, same era.

P. Katis, N. Sabadini, R.F.C. Walters, A formalisation of the IWIM Model, in: Proc. COORDINATION 2000, (Eds.) A. Porto, G.-C. Roman, LNCS 1906, pp 267–283, Springer Verlag, 2000

2000

Cited alongside, same era.

P. Katis, N. Sabadini, R.F.C. Walters, Feedback, trace and fixed-point semantics, Theoret. Informatics Appl. 36, pp 181–194, 2002

2002

Cited alongside, same era.

J. Kock, Frobenius algebras and 2D topological Quantum Field Theories , Cambridge University Press, 2004

2004

Cited alongside, same era.

R. Rosebrugh, N. Sabadini, R.F.C. Walters, Calculating colimits and limits compositionally, in preparation

Cited in the paper.

R. Rosebrugh, N. Sabadini, R.F.C. Walters, Minimization and minimal realization in Span(Graph), Mathematical Structures in Computer Science, Volume 14, 685-714, 2004

2004

Later among the works it cites.

R. Rosebrugh, N. Sabadini, and R.F.C. Walters. Generic commutative separable algebras and cospans of graphs

2005

Later among the works it cites.

M. Menni, N. Sabadini, R. F. C. Walters, A universal property of the monoidal 2-category of cospans of ordinals and surjections, Theory and Applications of Categories, Vol. 18, No. 19, pp 631-653, 2007

2007

Closest in time.

R. Rosebrugh, N. Sabadini, R.F.C. Walters, Calculating colimits and limits compositionally, presented to Category Theory 2007, Carvoeiro, Portugal, 18th June 2007

2007

Closest in time.