{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T00:44:06Z","timestamp":1782953046674,"version":"3.54.5"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227294","type":"print"},{"value":"9783032227300","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22730-0_9","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:24:13Z","timestamp":1776270253000},"page":"178-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Realization of Relational Presheaves"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-2689-9148","authenticated-orcid":false,"given":"Yorgo","family":"Chamoun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0767-2569","authenticated-orcid":false,"given":"Samuel","family":"Mimram","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Adamek, J., Rosicky, J.: Locally presentable and accessible categories. Cambridge University Press (1994)","DOI":"10.1017\/CBO9780511600579"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Burstall, R.M.: An algebraic description of programs with assertions, verification and simulation. In: Proceedings of ACM conference on Proving assertions about programs. pp. 7\u201314 (1972)","DOI":"10.1145\/800235.807068"},{"key":"9_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198758914.001.0001","volume-title":"Theories, Sites","author":"O Caramello","year":"2018","unstructured":"Caramello, O.: Theories, Sites. Oxford University Press, Toposes (2018)"},{"key":"9_CR4","unstructured":"Chamoun, Y., Haucourt, E.: Non-hausdorff manifolds over locally ordered spaces via sheaf theory. arXiv preprint arXiv:2505.12087 (2025)"},{"key":"9_CR5","unstructured":"Cohen, C., Coquand, T., Huber, S., M\u00f6rtberg, A.: Cubical type theory: A constructive interpretation of the univalence axiom. In: 21st International Conference on Types for Proofs and Programs (2018)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dubut, J.: Trees in partial higher dimensional automata. In: FoSSaCS. vol. 11425, pp. 224\u2013241 (2019)","DOI":"10.1007\/978-3-030-17127-8_13"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Fahrenberg, U., Johansen, C., Struth, G., Ziemia\u0144ski, K.: Kleene theorem for higher-dimensional automata. Logical Methods in Computer Science 20 (2024)","DOI":"10.46298\/lmcs-20(4:22)2024"},{"key":"9_CR8","unstructured":"Fahrenberg, U., Legay, A.: Partial higher-dimensional automata. In: 6th Conference on Algebra and Coalgebra in Computer Science. vol.\u00a035 (2015)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Fajstrup, L., Goubault, E., Haucourt, E., Mimram, S., Raussen, M.: Directed algebraic topology and concurrency, vol.\u00a0138. Springer (2016)","DOI":"10.1007\/978-3-319-15398-8"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ghilardi, S., Meloni, G.C.: Modal logics with $$n$$-ary connectives. Mathematical Logic Quarterly 36(3) (1990)","DOI":"10.1002\/malq.19900360303"},{"key":"9_CR11","unstructured":"Ghilardi, S., Meloni, G.: Relational and topological semantics for temporal and modal predicative logic. In: Atti del congresso \u201cNuovi problemi della logica e della scienza\u201d. vol.\u00a02, pp. 59\u201377. Viareggio (1990)"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"843","DOI":"10.2307\/2275788","volume":"61","author":"S Ghilardi","year":"1996","unstructured":"Ghilardi, S., Meloni, G.: Relational and partial variable sets and basic predicate logic. The Journal of Symbolic Logic 61(3), 843\u2013872 (1996)","journal-title":"The Journal of Symbolic Logic"},{"key":"9_CR13","unstructured":"van Glabbeek, R.J.: Bisimulations for Higher Dimensional Automata. Manuscript available electronically at http:\/\/theory.stanford.edu\/~rvg\/hda (1991)"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.tcs.2006.02.012","volume":"356","author":"RJ van Glabbeek","year":"2006","unstructured":"van Glabbeek, R.J.: On the Expressiveness of Higher Dimensional Automata. Theoret. Comput. Sci. 356(3), 265\u2013290 (2006)","journal-title":"Theoret. Comput. Sci."},{"issue":"8","key":"9_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.70930\/tac\/5mr9vkmm","volume":"11","author":"M Grandis","year":"2003","unstructured":"Grandis, M., Mauri, L.: Cubical sets and their site. Theory and Applications of Categories 11(8), 185\u2013211 (2003)","journal-title":"Theory and Applications of Categories"},{"key":"9_CR16","unstructured":"Grothendieck, A., Verdier, J.: SGA 4 Expos\u00e9 I. Th\u00e9orie des topos et cohomologie \u00e9tale des schemas. S\u00e9minaire de g\u00e9ometrie alg\u00e9brique du Bois-Marie 1963-1964 (SGA 4): Tome 1 269 (2006)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Haucourt, E.: Non-Hausdorff parallelized manifolds over geometric models of conservative programs. Mathematical Structures in Computer Science 35 (2025)","DOI":"10.1017\/S0960129525100169"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.70930\/tac\/n7mpva4y","volume":"5","author":"P Johnstone","year":"1999","unstructured":"Johnstone, P.: A note on discrete Conduch\u00e9 fibrations. Theory and Applications of Categories 5(1), 1\u201311 (1999)","journal-title":"Theory and Applications of Categories"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an elephant, vol.\u00a02. Oxford University Press (2002)","DOI":"10.1093\/oso\/9780198515982.003.0007"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Kashiwara, M., Schapira, P.: Categories and sheaves. Springer (2006)","DOI":"10.1007\/3-540-27950-4"},{"issue":"1","key":"9_CR21","first-page":"3","volume":"23","author":"GM Kelly","year":"1982","unstructured":"Kelly, G.M.: Structures defined by finite limits in the enriched context, i. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle 23(1), 3\u201342 (1982)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle"},{"key":"9_CR22","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory, Lecture Notes in Mathematics, vol.\u00a064. Cambridge University Press (1982)"},{"issue":"4","key":"9_CR23","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.exmath.2019.02.004","volume":"38","author":"F Loregian","year":"2020","unstructured":"Loregian, F., Riehl, E.: Categorical notions of fibration. Expo. Math. 38(4), 496\u2013514 (2020)","journal-title":"Expo. Math."},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Lurie, J.: Higher topos theory. Princeton University Press (2009)","DOI":"10.1515\/9781400830558"},{"key":"9_CR25","unstructured":"Mac\u00a0Lane, S.: Categories for the working mathematician, vol.\u00a05. Springer Science & Business Media (1998)"},{"key":"9_CR26","unstructured":"MacLane, S., Moerdijk, I.: Sheaves in geometry and logic: A first introduction to topos theory. Springer Science & Business Media (2012)"},{"key":"9_CR27","unstructured":"May, J.P.: Simplicial objects in algebraic topology, vol.\u00a011. University of Chicago Press (1992)"},{"issue":"7","key":"9_CR28","doi-asserted-by":"publisher","first-page":"248","DOI":"10.70930\/tac\/ohgmr6c2","volume":"12","author":"S Niefield","year":"2004","unstructured":"Niefield, S.: Change of base for relational variable sets. Theory and Applications of Categories 12(7), 248\u2013261 (2004)","journal-title":"Theory and Applications of Categories"},{"issue":"12","key":"9_CR29","doi-asserted-by":"publisher","first-page":"288","DOI":"10.70930\/tac\/5mrzq6g5","volume":"24","author":"S Niefield","year":"2010","unstructured":"Niefield, S.: Lax presheaves and exponentiability. Theory and Applications of Categories 24(12), 288\u2013301 (2010)","journal-title":"Theory and Applications of Categories"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Pratt, V.: Modeling concurrency with geometry. In: Wise, D.S. (ed.) Proceedings of the 18th annual ACM symposium on Principles of Programming Languages. pp. 311\u2013322 (1991)","DOI":"10.1145\/99583.99625"},{"issue":"1","key":"9_CR31","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0022-4049(91)90130-T","volume":"72","author":"KI Rosenthal","year":"1991","unstructured":"Rosenthal, K.I.: Free quantaloids. J. Pure Appl. Algebra 72(1), 67\u201382 (1991)","journal-title":"J. Pure Appl. Algebra"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00878445","volume":"3","author":"KI Rosenthal","year":"1995","unstructured":"Rosenthal, K.I.: Quantaloids, enriched categories and automata theory. Appl. Categ. Struct. 3, 279\u2013301 (1995)","journal-title":"Appl. Categ. Struct."},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Sakarovitch, J.: Elements of automata theory. Cambridge university press (2009)","DOI":"10.1017\/CBO9781139195218"},{"issue":"5","key":"9_CR34","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/j.jcss.2014.12.007","volume":"81","author":"P Soboci\u0144ski","year":"2015","unstructured":"Soboci\u0144ski, P.: Relational presheaves, change of base and weak simulation. J. Comput. Syst. Sci. 81(5), 901\u2013910 (2015)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22730-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T23:47:50Z","timestamp":1782949670000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22730-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227294","9783032227300"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22730-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoSSaCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Foundations of Software Science and Computation Structures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fossacs2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fossacs\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}