{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:59:31Z","timestamp":1771264771874,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540738572","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73859-6_21","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:37:02Z","timestamp":1187696222000},"page":"312-326","source":"Crossref","is-referenced-by-count":19,"title":["Quasitoposes, Quasiadhesive Categories and Artin Glueing"],"prefix":"10.1007","author":[{"given":"Peter T.","family":"Johnstone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Lack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Soboci\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/11690634_14","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"2006","unstructured":"Baldan, P., Corradini, A., Heindel, T., K\u00f6nig, B., Soboci\u0144ski, P.: Processes for adhesive rewriting systems. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol.\u00a03921, pp. 202\u2013216. Springer, Heidelberg (2006)"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1017\/S0960129500001183","volume":"5","author":"A. Carboni","year":"1995","unstructured":"Carboni, A., Johnstone, P.T.: Connected limits, familial representability and Artin glueing. Mathematical Structures in Computer Science\u00a05, 441\u2013449 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"5","key":"21_CR3","first-page":"43","volume":"127","author":"A. Corradini","year":"2005","unstructured":"Corradini, A., Gadducci, F.: On term graphs as an adhesive category. ENCS\u00a0127(5), 43\u201356 (2005)","journal-title":"ENCS"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Mathematical Structures in Computer Science\u00a01 (1991)","DOI":"10.1017\/S0960129500001353"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2004)"},{"key":"21_CR6","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)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A topos theory compendium, vol.\u00a01. Clarendon Press (2002)","DOI":"10.1093\/oso\/9780198515982.003.0004"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"21_CR9","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. Theoretical Informatics and Applications\u00a039(3), 511\u2013546 (2005)","journal-title":"Theoretical Informatics and Applications"},{"key":"21_CR10","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":"21_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0022-4049(91)90106-C","volume":"73","author":"R.D. Rosebrugh","year":"1991","unstructured":"Rosebrugh, R.D., Wood, R.J.: Pullback preserving functors. Journal of Pure and Applied Algebra\u00a073, 73\u201390 (1991)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"21_CR12","first-page":"311","volume-title":"LiCS 2005","author":"V. Sassone","year":"2005","unstructured":"Sassone, V., Soboci\u0144ski, P.: Reactive systems over cospans. In: LiCS 2005, pp. 311\u2013320. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"21_CR13","series-title":"ENTCS","first-page":"107","volume-title":"PNGT 2006","author":"P. Soboci\u0144ski","year":"2004","unstructured":"Soboci\u0144ski, P., Sassone, V.: A congruence for Petri nets. In: PNGT 2006. ENTCS, vol.\u00a0127 (2), pp. 107\u2013120. Elsevier, Amsterdam (2004)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73859-6_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T13:45:17Z","timestamp":1708177517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73859-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540738572"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73859-6_21","relation":{},"subject":[]}}