{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:51Z","timestamp":1762458771784,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642037405"},{"type":"electronic","value":"9783642037412"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03741-2_23","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:20:01Z","timestamp":1252938001000},"page":"335-349","source":"Crossref","is-referenced-by-count":11,"title":["Van Kampen Colimits as Bicolimits in Span"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Heindel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Baldan, P.: Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa (2000)","key":"23_CR1"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/978-3-642-03741-2_24","volume-title":"CALCO 2009","author":"P. Baldan","year":"2009","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Soboci\u0144ski, P.: Unfolding grammars in adhesive categories. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 350\u2013366. Springer, Heidelberg (2009)"},{"key":"23_CR3","series-title":"Lect. Notes Math.","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0074299","volume-title":"Midwest Category Seminar","author":"J. B\u00e9nabou","year":"1967","unstructured":"B\u00e9nabou, J.: Introduction to bicategories. In: Midwest Category Seminar. Lect. Notes Math., vol.\u00a042, pp. 1\u201377. Springer, Heidelberg (1967)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0022-4049(96)00028-X","volume":"119","author":"R. Brown","year":"1997","unstructured":"Brown, R., Janelidze, G.: Van Kampen theorems for categories of covering morphisms in lextensive categories. J. Pure Appl. Algebra\u00a0119, 255\u2013263 (1997)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"23_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","volume":"84","author":"A. Carboni","year":"1993","unstructured":"Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. J. Pure Appl. Algebra\u00a084(2), 145\u2013158 (1993)","journal-title":"J. Pure Appl. Algebra"},{"unstructured":"R. Cockett and X. Guo. Join restriction categories and the importance of being adhesive. Unpublished manuscript, slides from CT 2007 (2007), http:\/\/pages.cpsc.ucalgary.ca\/~robin\/talks\/jrCat.pdf","key":"23_CR6"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 144\u2013160. Springer, Heidelberg (2004)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-24727-2_12","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., K\u00f6nig, B.: Deriving bisimulation congruences in the dpo approach to graph rewriting. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 151\u2013166. Springer, Heidelberg (2004)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11780274_13","volume-title":"Algebra, Meaning, and Computation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Prange, U.: Weak adhesive high-level replacement categories and systems: A unifying framework for graph and petri net transformations. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol.\u00a04060, pp. 235\u2013251. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Gadducci, F., Heckel, R., Llabr\u00e9s, M.: A bi-categorical axiomatisation of concurrent graph rewriting. In: Category theory and computer science, CTCS 1999. Elect. Notes Theor. Comput. Sc., vol.\u00a029 (1999)","key":"23_CR10","DOI":"10.1016\/S1571-0661(05)80309-3"},{"issue":"3","key":"23_CR11","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1995-2431","volume":"24","author":"B. Jacobs","year":"1995","unstructured":"Jacobs, B.: Parameters and parametrization in specification, using distributive categories. Fundamenta Informaticae\u00a024(3), 209\u2013250 (1995)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR12","volume-title":"Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory","author":"G. Janelidze","year":"2004","unstructured":"Janelidze, G., Sobral, M., Tholen, W.: Beyond barr exactness: Effective descent morphisms. In: Pedicchio, M.C., Tholen, W. (eds.) Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory. Cambridge University Press, Cambridge (2004)"},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00878100","volume":"2","author":"G. Janelidze","year":"1994","unstructured":"Janelidze, G., Tholen, W.: Facets of descent, I. Applied Categorical Structures\u00a02(3), 245\u2013281 (1994)","journal-title":"Applied Categorical Structures"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-540-73859-6_21","volume-title":"Algebra and Coalgebra in Computer Science","author":"P.T. Johnstone","year":"2007","unstructured":"Johnstone, P.T., Lack, S., Soboci\u0144ski, P.: Quasitoposes, quasiadhesive categories and artin glueing. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 312\u2013326. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A topos theory compendium, vol.\u00a01. Clarendon Press (2002)","key":"23_CR15","DOI":"10.1093\/oso\/9780198515982.003.0004"},{"key":"23_CR16","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. J. Pure Appl. Algebra\u00a0115, 141\u2013178 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"23_CR17","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S0004972700002781","volume":"39","author":"G.M. Kelly","year":"1989","unstructured":"Kelly, G.M.: Elementary observations on 2-categorical limits. Bull. Austral. Math. Soc.\u00a039, 301\u2013317 (1989)","journal-title":"Bull. Austral. Math. Soc."},{"doi-asserted-by":"crossref","unstructured":"Kelly, G.M., Street, R.H.: Review of the elements of 2-categories. Lect. Notes Math., vol.\u00a0420, pp. 75\u2013103 (1974)","key":"23_CR18","DOI":"10.1007\/BFb0063101"},{"unstructured":"Lack, S.: A 2-categories companion [math.CT] (February 19, 2007) arXiv:math\/0702535v1","key":"23_CR19"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"issue":"3","key":"23_CR21","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ita:2005028","volume":"39","author":"S. Lack","year":"2005","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive and quasiadhesive categories. RAIRO Theor. Inform. Appl.\u00a039(3), 511\u2013546 (2005)","journal-title":"RAIRO Theor. Inform. Appl."},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11841883_14","volume-title":"Graph Transformations","author":"S. Lack","year":"2006","unstructured":"Lack, S., Soboci\u0144ski, P.: Toposes are adhesive. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 184\u2013198. Springer, Heidelberg (2006)"},{"key":"23_CR23","series-title":"Lect. Notes Math.","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0084208","volume-title":"category theory","author":"F.W. Lawvere","year":"1991","unstructured":"Lawvere, F.W.: Some thoughts on the future of category theory. In: category theory, Como. Lect. Notes Math., vol.\u00a01488, pp. 1\u201313. Springer, Heidelberg (1991)"},{"key":"23_CR24","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1998)"},{"issue":"3","key":"23_CR25","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/A:1024201720423","volume":"11","author":"S. Milius","year":"2003","unstructured":"Milius, S.: On colimits in categories of relations. Appl. Categor. Str.\u00a011(3), 287\u2013312 (2003)","journal-title":"Appl. Categor. Str."},{"issue":"2","key":"23_CR26","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E. Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput.\u00a079(2), 95\u2013130 (1988)","journal-title":"Inf. Comput."},{"key":"23_CR27","first-page":"311","volume-title":"Logic in Computer Science, LiCS 2005","author":"V. Sassone","year":"2005","unstructured":"Sassone, V., Soboci\u0144ski, P.: Reactive systems over cospans. In: Logic in Computer Science, LiCS 2005, pp. 311\u2013320. IEEE Press, Los Alamitos (2005)"},{"doi-asserted-by":"crossref","unstructured":"Walters, R.F.C.: Categories and Computer Science. Carslaw Publications (1991)","key":"23_CR28","DOI":"10.1017\/CBO9780511608872"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03741-2_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T13:36:36Z","timestamp":1710596196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03741-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642037405","9783642037412"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03741-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}