{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:21Z","timestamp":1762458861131},"reference-count":16,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2011,3,1]],"date-time":"2011-03-01T00:00:00Z","timestamp":1298937600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1016\/j.jsc.2010.09.006","type":"journal-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T05:41:45Z","timestamp":1285652505000},"page":"222-245","source":"Crossref","is-referenced-by-count":4,"title":["A lattice-theoretical perspective on adhesive categories"],"prefix":"10.1016","volume":"46","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[]},{"given":"Filippo","family":"Bonchi","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[]},{"given":"Tobias","family":"Heindel","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2010.09.006_br000005","series-title":"Proceedings of CALCO\u201909","first-page":"350","article-title":"Unfolding grammars in adhesive categories","volume":"vol. 5728","author":"Baldan","year":"2009"},{"key":"10.1016\/j.jsc.2010.09.006_br000010","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1017\/S0305004100011464","article-title":"On the combination of subalgebras","volume":"29","author":"Birkhoff","year":"1933","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"10.1016\/j.jsc.2010.09.006_br000015","series-title":"Lattice Theory","author":"Birkhoff","year":"1967"},{"issue":"2","key":"10.1016\/j.jsc.2010.09.006_br000020","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","article-title":"Introduction to extensive and distributive categories","volume":"84","author":"Carboni","year":"1993","journal-title":"Journal of Pure and Applied Algebra"},{"key":"10.1016\/j.jsc.2010.09.006_br000025","unstructured":"Cockett, R., Guo, X., 2007. Join restriction categories and the importance of being adhesive. Presented at CT\u201907."},{"key":"10.1016\/j.jsc.2010.09.006_br000030","series-title":"Proceedings of ICGT\u201906","first-page":"30","article-title":"Sesqui-pushout rewriting","volume":"vol. 4178","author":"Corradini","year":"2006"},{"key":"10.1016\/j.jsc.2010.09.006_br000035","series-title":"Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations","first-page":"163","article-title":"Algebraic approaches to graph transformation I: basic concepts and double pushout approach","author":"Corradini","year":"1997"},{"key":"10.1016\/j.jsc.2010.09.006_br000040","series-title":"Introduction to Lattices and Order","author":"Davey","year":"2002"},{"key":"10.1016\/j.jsc.2010.09.006_br000045","series-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig","year":"2006"},{"key":"10.1016\/j.jsc.2010.09.006_br000050","series-title":"Categories, Allegories","author":"Freyd","year":"1990"},{"issue":"3","key":"10.1016\/j.jsc.2010.09.006_br000055","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.entcs.2009.06.041","article-title":"Towards secrecy for rewriting in weakly adhesive categories","volume":"229","author":"Heindel","year":"2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/j.jsc.2010.09.006_br000060","series-title":"Proceedings of CALCO\u201909","first-page":"335","article-title":"Van Kampen colimits as bicolimits in span","volume":"vol. 5728","author":"Heindel","year":"2009"},{"key":"10.1016\/j.jsc.2010.09.006_br000065","article-title":"Stone spaces","volume":"vol. 3","author":"Johnstone","year":"1982"},{"issue":"3","key":"10.1016\/j.jsc.2010.09.006_br000070","doi-asserted-by":"crossref","DOI":"10.1051\/ita:2005028","article-title":"Adhesive and quasiadhesive categories","volume":"39","author":"Lack","year":"2005","journal-title":"RAIRO\u2014Theoretical Informatics and Applications"},{"key":"10.1016\/j.jsc.2010.09.006_br000075","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"issue":"2","key":"10.1016\/j.jsc.2010.09.006_br000080","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/j.entcs.2005.02.008","article-title":"A congruence for Petri nets","volume":"127","author":"Sassone","year":"2005","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717110001653?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717110001653?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T15:52:24Z","timestamp":1544197944000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717110001653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["S0747717110001653"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2010.09.006","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2011,3]]}}}