{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:50:42Z","timestamp":1710251442932},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,11,26]],"date-time":"2013-11-26T00:00:00Z","timestamp":1385424000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10485-013-9339-2","type":"journal-article","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T07:40:48Z","timestamp":1385365248000},"page":"447-486","source":"Crossref","is-referenced-by-count":2,"title":["Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi"],"prefix":"10.1007","volume":"23","author":[{"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]},{"given":"Harald","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,26]]},"reference":[{"key":"9339_CR1","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall International Series (1990)"},{"key":"9339_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S1088-4165-05-00262-1","volume":"12","author":"M Barr","year":"2005","unstructured":"Barr, M., Wells, C.: Toposes, triples and theories. Repr Theory Appl Categories 12, 1\u2013287 (2005). http:\/\/www.case.edu\/artsci\/math\/wells\/pub\/pdf\/ttt.pdf","journal-title":"Repr Theory Appl Categories"},{"issue":"2","key":"9339_CR3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1017\/S0960129500000700","volume":"5","author":"I Cla\u00dfen","year":"1995","unstructured":"Cla\u00dfen, I., Gro\u00dfe-Rhode, M., Wolter, U.: Categorical concepts for parameterized partial specifications. Math. Struct. Comput. Sci. 5(2), 153\u2013188 (1995). doi: 10.1017\/S0960129500000700","journal-title":"Math. Struct. Comput. Sci."},{"key":"9339_CR4","unstructured":"Diskin, Z.: Databases as diagram algebras: specifying queries and views via the graph-based logic of sketches. Tech. Rep. 9602, Frame Inform Systems\/LDBD, Riga. http:\/\/citeseer.ist.psu.edu\/116057.html (1996)"},{"key":"9339_CR5","first-page":"144","volume":"3","author":"Z Diskin","year":"1997","unstructured":"Diskin, Z.: Towards algebraic graph-based model theory for computer science. Bull. Symb. Log. 3, 144\u2013145 (1997). Presented (by title) at Logic Colloquium\u201995","journal-title":"Bull. Symb. Log."},{"key":"9339_CR6","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B.: A graphical yet formalized framework for specifying view systems. In: Advances in Databases and Information Systems, vol. 2(5) pp. 123\u2013132. ACM SIGMOD Digital Anthology: ADBIS\u201997 (1997)","DOI":"10.14236\/ewic\/ADBIS1997.17"},{"key":"9339_CR7","first-page":"19","volume":"203\/6","author":"Z Diskin","year":"2008","unstructured":"Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. ENTCS 203\/6, 19\u201341 (2008). doi: 10.1016\/j.entcs.2008.10.041","journal-title":"ENTCS"},{"key":"9339_CR8","volume-title":"Fundamentals of Algebraic Graph Transformations","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. Springer, Berlin (2006)"},{"key":"9339_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1008688122154","volume":"6","author":"H Ehrig","year":"1998","unstructured":"Ehrig, H., Grosse-Rhode, M., Wolter, U.: Applications of category theory to the area of algebraic specification in computer science. Appl. Categ. Struct. 6, 1\u201335 (1998)","journal-title":"Appl. Categ. Struct."},{"key":"9339_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Berlin, Heidelberg (1985)"},{"key":"9339_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, EATCS Monographs on Theoretical Computer Science, vol. 2","author":"H Ehrig","year":"1990","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, EATCS Monographs on Theoretical Computer Science, vol. 2. Springer, Berlin, Heidelberg, New York (1990)"},{"key":"9339_CR12","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-540-30203-2_13","volume":"3256","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. Lect. Notes Comput. Sci. 3256, 161\u2013177 (2004). doi: 10.1007\/978-3-540-30203-2_13","journal-title":"Lect. Notes Comput. Sci."},{"key":"9339_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"P Freyd","year":"1972","unstructured":"Freyd, P.: Aspects of topoi. Bull. Aust. Math. Soc. 7, 1\u201376 (1972). doi: 10.1017\/S0004972700044828","journal-title":"Bull. Aust. Math. Soc."},{"key":"9339_CR14","volume-title":"Topoi: The Categorial Analysis of Logic","author":"R Goldblatt","year":"1984","unstructured":"Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Dover, New York (1984)"},{"key":"9339_CR15","unstructured":"Grothendieck, A.: Techniques de descente et th\u00e9oremes d\u2019existence en g\u00e9ometrie alg\u00e9braique, I. G\u00e9neralit\u00e9s. S\u00e9minaire Bourbaki 190 (1959)"},{"key":"9339_CR16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BFb0058662","volume":"224","author":"A Grothendieck","year":"1971","unstructured":"Grothendieck, A.: Cat\u00e9gories fibr\u00e9es et descente, expos\u00e9 vi, in: Rev\u00eatements \u00e9tales et groupe fondamental (SGA1). Lect Notes Math. 224, 145\u2013194 (1971)","journal-title":"Lect Notes Math."},{"key":"9339_CR17","doi-asserted-by":"crossref","unstructured":"Heindel, T., Sobocinski, P.: Van Kampen colimits as bicolimits in span. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) Algebra and Coalgebra in Computer Science, Lecture Notes in Computer Science, vol. 5728, pp. 335\u2013349. Springer, Berlin. doi: 10.1007\/978-3-642-03741-2_23 (2009)","DOI":"10.1007\/978-3-642-03741-2_23"},{"key":"9339_CR18","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF00878100","volume":"2","author":"G Janelidze","year":"1994","unstructured":"Janelidze, G., Tholen, W.: Facets of descent, i. Appl. Categ. Struct. 2, 245\u2013281 (1994). doi:10.1007\/BF00878100","journal-title":"Appl. Categ. Struct."},{"key":"9339_CR19","volume-title":"Sketches of an Elephant\u2014A Topos Theory Compendium, vol. 1","author":"P Johnstone","year":"2002","unstructured":"Johnstone, P.: Sketches of an Elephant\u2014A Topos Theory Compendium, vol. 1. Oxford Science, Oxford (2002)"},{"key":"9339_CR20","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, H., Wolter, U., L\u00f6we, M.: Characterizing Van Kampen squares via descent data. In: Golas, U., Soboll, T. (eds.) Proceedings of ACCAT 2012, pp. 61\u201381. EPTCS. doi: 10.4204\/EPTCS.93.4 (2012)","DOI":"10.4204\/EPTCS.93.4"},{"key":"9339_CR21","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/11841883_14","volume":"4178","author":"S Lack","year":"2006","unstructured":"Lack, S., Soboci\u0144ski, P.: Toposes are adhesive. Lect. Notes Comput. Sci. 4178, 184\u2013198 (2006). doi: 10.1007\/11841883_14","journal-title":"Lect. Notes Comput. Sci."},{"key":"9339_CR22","doi-asserted-by":"crossref","unstructured":"Lawvere, F.: An elementary theory of the category of sets. In: Proceeding of the National Academy of Sciences of the U.S.A., vol. 51, pp. 15061510 (1964)","DOI":"10.1073\/pnas.52.6.1506"},{"key":"9339_CR23","unstructured":"L\u00f6we, M.: Van-Kampen pushouts for sets and graphs. Tech. rep., University of Applied Sciences, FHDW Hannover (2010)"},{"key":"9339_CR24","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Berlin (1998)","edition":"2"},{"key":"9339_CR25","doi-asserted-by":"crossref","unstructured":"Makkai, M.: Generalized sketches as a framework for completeness theorems. J. Pure Appl. Algebra 115, 49\u201379, 179\u2013212, 214\u2013274 (1997)","DOI":"10.1016\/S0022-4049(96)00007-2"},{"key":"9339_CR26","unstructured":"McLarty, C.: Elementary Categories, Elementary Toposes. Clarendon Press (1995)"},{"key":"9339_CR27","volume-title":"Categorical Foundations: Topics in Order, Topology, Algebra, and Sheaf Theory","author":"M Pedicchio","year":"2004","unstructured":"Pedicchio, M., Tholen, W.: Categorical Foundations: Topics in Order, Topology, Algebra, and Sheaf Theory. Cambridge University Press, Cambridge (2004)"},{"key":"9339_CR28","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Computability, Algebraic Specifications, and Partial Algebras","author":"H Reichel","year":"1987","unstructured":"Reichel, H.: Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford University Press, Oxford (1987)"},{"issue":"7","key":"9339_CR29","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1016\/j.jlap.2009.10.003","volume":"79","author":"A Rossini","year":"2010","unstructured":"Rossini, A., Rutle, A., Lamo, Y., Wolter, U.: A formalisation of the copy-modify-merge approach to version control in MDE. J. Logic Algebraic Program. 79(7), 636\u2013658 (2010). doi: 10.1016\/j.jlap.2009.10.003","journal-title":"J. Logic Algebraic Program."},{"key":"9339_CR30","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/j.jlap.2012.03.006","volume":"81\/4","author":"A Rutle","year":"2012","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. J. Logic Algebraic Program. 81\/4, 422\u2013457 (2012). doi: 10.1016\/j.jlap.2012.03.006","journal-title":"J. Logic Algebraic Program."},{"key":"9339_CR31","unstructured":"Soboczi\u0144sky, P.: Deriving process congruences from reaction rules. Tech. Rep. DS-04-6, BRICS Dissertation Series (2004)"},{"issue":"2","key":"9339_CR32","first-page":"85","volume":"27","author":"U Wolter","year":"1990","unstructured":"Wolter, U.: An algebraic approach to deduction in equational partial Horn theories. J. Inf. Process. Cybern. EIK 27(2), 85\u2013128 (1990)","journal-title":"J. Inf. Process. Cybern. EIK"},{"key":"9339_CR33","unstructured":"Wolter, U., Diskin, Z.: From indexed to fibred semantics-the generalized sketch file-. Reports in Informatics 361, Department of Informatics, University of Bergen (2007)"},{"key":"9339_CR34","unstructured":"Wolter, U., K\u00f6nig, H.: Fibred amalgamation, descent data, and Van Kampen squares in topoi. Tech. Rep. Report No 404, Department of Informatics, University of Bergen (2012). http:\/\/www.ii.uib.no\/publikasjoner\/texrap\/pdf\/2012-404.pdf"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9339-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-013-9339-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9339-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T09:37:51Z","timestamp":1647509871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-013-9339-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,26]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9339"],"URL":"https:\/\/doi.org\/10.1007\/s10485-013-9339-2","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,26]]}}}