{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:17:07Z","timestamp":1762460227550,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030435196"},{"type":"electronic","value":"9783030435202"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-43520-2_14","type":"book-chapter","created":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T23:08:28Z","timestamp":1585696108000},"page":"221-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stone Dualities from Opfibrations"],"prefix":"10.1007","author":[{"given":"Koki","family":"Nishizawa","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7529-5489","authenticated-orcid":false,"given":"Shin-ya","family":"Katsumata","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3371-5243","authenticated-orcid":false,"given":"Yuichi","family":"Komorida","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,1]]},"reference":[{"unstructured":"Johnstone, P.: Stone Spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1986)","key":"14_CR1"},{"doi-asserted-by":"crossref","unstructured":"Johnstone, P.: The point of pointless topology. Bull. Am. Math. Soc. (N.S.) 8(1), 41\u201353 (1983)","key":"14_CR2","DOI":"10.1090\/S0273-0979-1983-15080-2"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"535","DOI":"10.2307\/2374638","volume":"97","author":"JR Isbell","year":"1972","unstructured":"Isbell, J.R.: General functorial semantics I. Am. J. Math. 97, 535\u2013590 (1972)","journal-title":"Am. J. Math."},{"issue":"2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0166-8641(82)90021-9","volume":"13","author":"H Simmons","year":"1982","unstructured":"Simmons, H.: A couple of triples. Topol. Appl. 13(2), 201\u2013223 (1982)","journal-title":"Topol. Appl."},{"unstructured":"Dimov, G., Tholen, W.: A characterization of representable dualities. In: Adamek, J., MacLane, S. (eds.) Categorical Topology and Its Relation to Analysis, pp. 336\u2013357. World Scientific, Algebra and Combinatorics (1989)","key":"14_CR5"},{"key":"14_CR6","first-page":"111","volume-title":"Category Theory at Work","author":"HE Porst","year":"1991","unstructured":"Porst, H.E., Tholen, W.: Concrete dualities. In: Herrlich, H., Porst, H.E. (eds.) Category Theory at Work, pp. 111\u2013136. Heldermann Verlag, Berlin (1991)"},{"issue":"15","key":"14_CR7","first-page":"504","volume":"20","author":"M Barr","year":"2008","unstructured":"Barr, M., Kennison, J.F., Raphael, R.: Isbell duality. Theor. Appl. Categories 20(15), 504\u2013542 (2008)","journal-title":"Theor. Appl. Categories"},{"unstructured":"Maruyama, Y.: Categorical duality theory: with applications to domains, convexity, and the distribution monad, pp. 500\u2013520 (2013)","key":"14_CR8"},{"doi-asserted-by":"crossref","unstructured":"Hermida, C.: Fibrations, logical predicates and related topics. Ph.D. thesis, University of Edinburgh (1993). Technical report ECS-LFCS-93-277. Also available as Aarhus Univ. DAIMI Technical report PB-462 (1993)","key":"14_CR9","DOI":"10.7146\/dpb.v22i462.6935"},{"key":"14_CR10","series-title":"Number 752 in Lecture Notes in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064579","volume-title":"*-Autonomous Categories","author":"M Barr","year":"1979","unstructured":"Barr, M.: *-Autonomous Categories. Number 752 in Lecture Notes in Mathematics. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/BFb0064579"},{"unstructured":"Pratt, V.: Chu spaces. In: Notes for the School on Category Theory and Applications, University of Coimbra, July 13\u201317 1999 (1999)","key":"14_CR11"},{"unstructured":"Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Number 57 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1998)","key":"14_CR12"},{"unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Number 141 in Studies in Logic and the Foundations of Mathematics, North Holland, Amsterdam (1999)","key":"14_CR13"},{"issue":"3","key":"14_CR14","first-page":"51","volume":"25","author":"P Johnstone","year":"2011","unstructured":"Johnstone, P.: Remarks on punctual local connectedness. Theor. Appl. Categories 25(3), 51\u201363 (2011)","journal-title":"Theor. Appl. Categories"},{"doi-asserted-by":"crossref","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Volume 1 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1994)","key":"14_CR15","DOI":"10.1017\/CBO9780511525858"},{"issue":"2","key":"14_CR16","first-page":"295","volume":"2","author":"J Rosick\u00fd","year":"2007","unstructured":"Rosick\u00fd, J., Tholen, W.: Factorization, fibration and torsion. J. Homotopy Relat. Struct. 2(2), 295\u2013314 (2007)","journal-title":"J. Homotopy Relat. Struct."},{"key":"14_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4721-8","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1978","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1978)"},{"key":"14_CR18","volume-title":"Topology via Logic","author":"S Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1989)"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"4973","DOI":"10.1017\/S0960129596002046","volume":"7","author":"D Pavlovic","year":"1997","unstructured":"Pavlovic, D.: Chu I: cofree equivalences, dualities and *-autonomous categories. Math. Struct. Comput. Sci. 7(1), 4973 (1997)","journal-title":"Math. Struct. Comput. Sci."},{"key":"14_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/b139095","volume-title":"Lattices and Ordered Algebraic Structures","author":"T Blyth","year":"2005","unstructured":"Blyth, T.: Lattices and Ordered Algebraic Structures. Springer, London (2005). https:\/\/doi.org\/10.1007\/b139095"},{"key":"14_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"issue":"1\u20132","key":"14_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theor. Comput. Sci. 327(1\u20132), 109\u2013134 (2004)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Rocca, S.R.D. (ed.): Computer Science Logic 2013 (CSL 2013), CSL 2013, Torino, Italy, 2\u20135 September 2013. Volume 23 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)","key":"14_CR23"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-43520-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T19:03:34Z","timestamp":1709665414000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-43520-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030435196","9783030435202"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43520-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"1 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Palaiseau","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ramics18.gforge.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}