{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T00:32:25Z","timestamp":1794357145162,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540686767","type":"print"},{"value":"9783540686798","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68679-8_36","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T02:58:16Z","timestamp":1213066696000},"page":"581-592","source":"Crossref","is-referenced-by-count":8,"title":["Calculating Colimits Compositionally"],"prefix":"10.1007","author":[{"given":"Robert","family":"Rosebrugh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicoletta","family":"Sabadini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert F. C.","family":"Walters","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/LICS.2004.1319636","volume-title":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004","author":"S. Abramsky","year":"2004","unstructured":"Abramsky, S., Coecke, B.: A Categorical Semantics of Quantum Protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004, pp. 415\u2013425. IEEE Computer Society, Los Alamitos (2004)"},{"key":"36_CR2","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-78034-9","volume-title":"Iteration Theories: the equational logic of iterative processes","author":"S.L. Bloom","year":"1993","unstructured":"Bloom, S.L., Esik, Z.: Iteration Theories: the equational logic of iterative processes. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (1993)"},{"issue":"2","key":"36_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/S0304-3975(01)00318-8","volume":"286","author":"R. Bruni","year":"2002","unstructured":"Bruni, R., Gadducci, F., Montanari, U.: Normal forms for algebras of connection. Theor. Comput. Sci.\u00a0286(2), 247\u2013292 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A. Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories I. Journal of Pure and Applied Algebra\u00a049, 11\u201332 (1987)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"36_CR5","unstructured":"de Francesco Albasini, L., Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Cospans and free symmetric monoidal categories (in preparation)"},{"key":"36_CR6","first-page":"175","volume-title":"Monadic computation and iterative algebraic theories, Logoc Colloquium 1973, Studies in Logic 80","author":"C.C. Elgot","year":"1975","unstructured":"Elgot, C.C.: Monadic computation and iterative algebraic theories, Logoc Colloquium 1973, Studies in Logic 80, pp. 175\u2013230. North Holland, Amsterdam (1975)"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-64299-4_36","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F. Gadducci","year":"1998","unstructured":"Gadducci, F., Heckel, R.: An inductive view of graph transformation. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 223\u2013237. Springer, Heidelberg (1998)"},{"key":"36_CR8","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. CTCS 1999, Category Theory and Computer Science","author":"F. Gadducci","year":"1999","unstructured":"Gadducci, F., Heckel, R., Llabr\u00e9s, M.: A bi-categorical axiomatisation of concurrent graph rewriting. In: Proc. CTCS 1999, Category Theory and Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a029, Elsevier Sciences, Amsterdam (1999)"},{"key":"36_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A. Joyal","year":"1991","unstructured":"Joyal, A., Street, R.H.: The geometry of tensor calculus I. Advances in Math.\u00a088, 55\u2013112 (1991)","journal-title":"Advances in Math."},{"issue":"3","key":"36_CR10","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society\u00a0119(3), 447\u2013468 (1996)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0022-4049(96)00012-6","volume":"115","author":"P. Katis","year":"1997","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Bicategories of processes. Journal of Pure and Applied Algebra\u00a0115, 141\u2013178 (1997)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"36_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BFb0000479","volume-title":"Algebraic Methodology and Software Technology","author":"P. Katis","year":"1997","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Span(Graph): A categorical algebra of transition systems. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 307\u2013321. Springer, Heidelberg (1997)"},{"key":"36_CR13","first-page":"123","volume":"Suppl. 63","author":"P. Katis","year":"2000","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: On the algebra of systems with feedback and boundary. Rendiconti del Circolo Matematico di Palermo Serie II\u00a0Suppl. 63, 123\u2013156 (2000)","journal-title":"Rendiconti del Circolo Matematico di Palermo Serie II"},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/3-540-45263-X_17","volume-title":"Coordination Languages and Models","author":"P. Katis","year":"2000","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: A formalisation of the IWIM Model. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol.\u00a01906, pp. 267\u2013283. Springer, Heidelberg (2000)"},{"key":"36_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1051\/ita:2002009","volume":"36","author":"P. Katis","year":"2002","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: Feedback, trace and fixed-point semantics. Theoret. Informatics Appl.\u00a036, 181\u2013194 (2002)","journal-title":"Theoret. Informatics Appl."},{"key":"36_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0022-4049(80)90101-2","volume":"19","author":"G.M. Kelly","year":"1980","unstructured":"Kelly, G.M., Laplaza, M.L.: Coherence for compact closed categories. J. Pure Appl. Algebra\u00a019, 193\u2013213 (1980)","journal-title":"J. Pure Appl. Algebra"},{"key":"36_CR17","volume-title":"Frobenius algebras and 2D topological Quantum Field Theories","author":"J. Kock","year":"2004","unstructured":"Kock, J.: Frobenius algebras and 2D topological Quantum Field Theories. Cambridge University Press, Cambridge (2004)"},{"issue":"19","key":"36_CR18","first-page":"631","volume":"18","author":"M. Menni","year":"2007","unstructured":"Menni, M., Sabadini, N., Walters, R.F.C.: A universal property of the monoidal 2-category of cospans of ordinals and surjections. Theory and Applications of Categories\u00a018(19), 631\u2013653 (2007)","journal-title":"Theory and Applications of Categories"},{"key":"36_CR19","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri Nets Are Monoids. Information and Computation\u00a088, 105\u2013155 (1990)","journal-title":"Information and Computation"},{"key":"36_CR20","first-page":"221","volume-title":"Combinatorial Mathematics and its Applications","author":"R. Penrose","year":"1971","unstructured":"Penrose, R.: Applications of negative dimensional tensors. In: Combinatorial Mathematics and its Applications, p. 221. Academic Press, London (1971)"},{"key":"36_CR21","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1017\/S096012950400430X","volume":"14","author":"R. Rosebrugh","year":"2004","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Minimization and minimal realization in Span(Graph). Mathematical Structures in Computer Science\u00a014, 685\u2013714 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"6","key":"36_CR22","first-page":"264","volume":"15","author":"R. Rosebrugh","year":"2005","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Generic commutative separable algebras and cospans of graphs. Theory and Applications of Categories\u00a015(6), 264\u2013277 (2005)","journal-title":"Theory and Applications of Categories"},{"key":"36_CR23","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Calculating colimits and limits compositionally. Category Theory 2007, Carvoeiro, Portugal, 18th (June 2007)"},{"key":"36_CR24","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.F.C.: Calculating colimits and limits compositionally (in preparation)"},{"key":"36_CR25","unstructured":"Walters, R.F.C.: Lecture to the Sydney Category Seminar (January 26, 1983)"},{"key":"36_CR26","unstructured":"Walters, R.F.C.: The tensor product of matrices, Lecture. In: International Conference on Category Theory, Louvain-la-Neuve (1987)"}],"container-title":["Lecture Notes in Computer Science","Concurrency, Graphs and Models"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68679-8_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:41:15Z","timestamp":1558266075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68679-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686767","9783540686798"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8_36","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-68679-8","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}