{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T12:17:07Z","timestamp":1771244227034,"version":"3.50.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032143389","type":"print"},{"value":"9783032143396","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-14339-6_14","type":"book-chapter","created":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T11:36:49Z","timestamp":1771241809000},"page":"258-284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Characterisation of\u00a0Lawvere-Tierney Topologies on\u00a0Simplicial Sets, Bicolored Graphs, and\u00a0Fuzzy Sets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7841-2318","authenticated-orcid":false,"given":"Alo\u00efs","family":"Rosset","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7061-1219","authenticated-orcid":false,"given":"Helle Hvid","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2554-8270","authenticated-orcid":false,"given":"J\u00f6rg","family":"Endrullis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Awodey, S.: Category Theory. Oxford Logic Guides, Ebsco Publishing (2006)","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Baez, J.C., Hoffnung, A.E.: Convenient categories of smooth spaces. Trans. Am. Math. Soc. 363(11), 5789\u20135825 (2011). http:\/\/www.jstor.org\/stable\/41307457","DOI":"10.1090\/S0002-9947-2011-05107-X"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-78946-6_1","volume-title":"Graph Transformation","author":"N Behr","year":"2021","unstructured":"Behr, N., Harmer, R., Krivine, J.: Concurrency theorems for non-linear rewriting theories. In: Gadducci, F., Kehrer, T. (eds.) ICGT 2021. LNCS, vol. 12741, pp. 3\u201321. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78946-6_1"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Bezhanishvili, G., Ghilardi, S.: An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. 147(1-2), 84\u2013100 (2007). https:\/\/doi.org\/10.1016\/J.APAL.2007.04.001","DOI":"10.1016\/J.APAL.2007.04.001"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of categorical algebra. 3, Encyclopedia of Mathematics and its Applications, vol.\u00a052. Cambridge University Press, Cambridge (1994), categories of sheaves","DOI":"10.1017\/CBO9780511525865"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Brown, K., Patterson, E., Hanks, T., Fairbanks, J.P.: Computational category-theoretic rewriting. In: Proceedings of Conference on Graph Transformation (ICGT). LNCS, vol. 13349, pp. 155\u2013172. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-09843-7_9","DOI":"10.1007\/978-3-031-09843-7_9"},{"issue":"4","key":"14_CR7","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. Math. Struct. Comput. Sci. 5(4), 441\u2013459 (1995). https:\/\/doi.org\/10.1017\/S0960129500001183","journal-title":"Math. Struct. Comput. Sci."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Eilenberg, S., Zilber, J.A.: Semi-simplicial complexes and singular homology. Ann. Math. 499\u2013513 (1950)","DOI":"10.2307\/1969364"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1216\/RMJ-2012-42-2-353","volume":"42","author":"G Friedman","year":"2012","unstructured":"Friedman, G.: Survey article: an elementary illustrated introduction to simplicial sets. Rocky Mountain J. Math. 42(2), 353\u2013423 (2012). https:\/\/doi.org\/10.1216\/RMJ-2012-42-2-353","journal-title":"Rocky Mountain J. Math."},{"key":"14_CR10","unstructured":"Goldblatt, R.: Topoi - the categorial analysis of logic, Studies in logic and the foundations of mathematics, vol.\u00a098. North-Holland (1984)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"244","DOI":"10.70930\/tac\/8s7w6fcb","volume":"8","author":"M Grandis","year":"2001","unstructured":"Grandis, M.: Finite sets and symmetric simplicial sets. Theory Appl. Categories 8, 244\u2013252 (2001)","journal-title":"Theory Appl. Categories"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Introduction to coalgebra, vol.\u00a059. Cambridge University Press (2017)","DOI":"10.1017\/CBO9781316823187"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Johnstone, P.T.: On a topological topos. Proc. London Math. Soc. s3-38(2), 237\u2013271 (1979). https:\/\/doi.org\/10.1112\/plms\/s3-38.2.237","DOI":"10.1112\/plms\/s3-38.2.237"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an elephant: a Topos theory compendium. Oxford logic guides, Oxford Univ. Press, New York (2002)","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"14_CR15","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":"PT 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. 4624, pp. 312\u2013326. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73859-6_21"},{"key":"14_CR16","unstructured":"Kelly, G.M., Lawvere, F.W.: On the complete lattice of essential localizations. University of Sydney. Department of Pure Mathematics (1989)"},{"issue":"5","key":"14_CR17","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1016\/j.jpaa.2010.07.002","volume":"215","author":"C Kennett","year":"2011","unstructured":"Kennett, C., Riehl, E., Roy, M., Zaks, M.: Levels in the toposes of simplicial sets and cubical sets. J. Pure Appl. Algebra 215(5), 949\u2013961 (2011). https:\/\/doi.org\/10.1016\/j.jpaa.2010.07.002","journal-title":"J. Pure Appl. Algebra"},{"key":"14_CR18","unstructured":"Lawvere, F.W.: Quantifiers and sheaves. In: Actes du congres international des mathematiciens, Nice, vol.\u00a01, pp. 329\u2013334 (1970)"},{"key":"14_CR19","unstructured":"Lindenhovius, B.: Grothendieck topologies on a poset (2014)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Mac\u00a0Lane, S., Moerdijk, I.: Sheaves in geometry and logic. Springer, New York (1994), a first introduction to topos theory, Corrected reprint of the 1992 edition","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"MacLane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5. Springer, New York (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"McLarty, C.: Elementary Categories, Elementary Toposes. Clarendon Press (1992)","DOI":"10.1093\/oso\/9780198533924.001.0001"},{"key":"14_CR23","unstructured":"Ochs, E.: On a formula that is not in \u201cgrothendieck topologies in posets\u201d (2021)"},{"key":"14_CR24","doi-asserted-by":"publisher","unstructured":"Overbeek, R., Endrullis, J.: Termination of graph transformation systems using weighted subgraph counting. CoRR arXiv2303.07812 (2023). https:\/\/doi.org\/10.48550\/arXiv.2303.07812","DOI":"10.48550\/arXiv.2303.07812"},{"key":"14_CR25","doi-asserted-by":"publisher","unstructured":"Overbeek, R., Endrullis, J., Rosset, A.: Graph rewriting and relabeling with pbpo$$ ^{\\text{+}}$$: a unifying theory for quasitoposes. J. Log. Algebraic Methods Program. 133, 100873 (2023). https:\/\/doi.org\/10.1016\/J.JLAMP.2023.100873","DOI":"10.1016\/J.JLAMP.2023.100873"},{"key":"14_CR26","doi-asserted-by":"publisher","unstructured":"Plump, D.: On termination of graph rewriting. In: International Workshop on Graph-Theoretic Concepts in Computer Science. LNCS, vol.\u00a01017, pp. 88\u2013100. Springer (1995). https:\/\/doi.org\/10.1007\/3-540-60618-1_68","DOI":"10.1007\/3-540-60618-1_68"},{"key":"14_CR27","doi-asserted-by":"publisher","unstructured":"Plump, D.: Modular termination of graph transformation. In: Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 231\u2013244. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_13","DOI":"10.1007\/978-3-319-75396-6_13"},{"key":"14_CR28","unstructured":"Reyes, M.L.P., Reyes, G.E., Zolfaghari, H.: Generic figures and their glueings: a constructive approach to functor categories. Polimetrica sas (2004)"},{"key":"14_CR29","unstructured":"Riehl, E.: A leisurely introduction to simplicial sets. Unpublished expository article available online at http:\/\/www.math.harvard.edu\/~eriehl (2011)"},{"key":"14_CR30","doi-asserted-by":"publisher","unstructured":"Rosset, A., Overbeek, R., Endrullis, J.: Fuzzy presheaves are quasitoposes. In: Fern\u00e1ndez, M., Poskitt, C.M. (eds.) Graph Transformation - 16th International Conference, ICGT 2023. LNCS, vol. 13961, pp. 102\u2013122. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-36709-0_6","DOI":"10.1007\/978-3-031-36709-0_6"},{"key":"14_CR31","unstructured":"Rosset, A., Hansen, H.H., Endrullis, J.: Characterisation of lawvere-tierney topologies on simplicial sets, bicolored graphs, and fuzzy sets (2024). https:\/\/arxiv.org\/abs\/2407.04535"},{"key":"14_CR32","doi-asserted-by":"publisher","unstructured":"Stout, L.N.: The logic of unbalanced subobjects in a category with two closed structures, pp. 73\u2013105. Springer, Dordrecht (1992). https:\/\/doi.org\/10.1007\/978-94-011-2616-8_4","DOI":"10.1007\/978-94-011-2616-8_4"},{"key":"14_CR33","doi-asserted-by":"publisher","unstructured":"Vigna, S.: A guided tour in the topos of graphs (2003). https:\/\/doi.org\/10.48550\/ARXIV.MATH\/0306394","DOI":"10.48550\/ARXIV.MATH\/0306394"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Wyler, O.: Lecture notes on Topoi and Quasitopoi. World Scientific (1991)","DOI":"10.1142\/1047"},{"issue":"3","key":"14_CR35","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8(3), 338\u2013353 (1965). https:\/\/doi.org\/10.1016\/S0019-9958(65)90241-X","journal-title":"Inf. Control"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-14339-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T11:36:55Z","timestamp":1771241815000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-14339-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032143389","9783032143396"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-14339-6_14","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":"17 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TbiLLC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Tbilisi Symposium on Logic, Language, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Telavi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tbillc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/events.illc.uva.nl\/Tbilisi\/Tbilisi2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}