{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T16:30:51Z","timestamp":1775061051920,"version":"3.50.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032224682","type":"print"},{"value":"9783032224699","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-22469-9_4","type":"book-chapter","created":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:57:56Z","timestamp":1775055476000},"page":"59-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Weak Converse and\u00a0Complement for\u00a0Quantale-Enriched Profunctors"],"prefix":"10.1007","author":[{"given":"Ignacio","family":"Bellas Acosta","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9644-1908","authenticated-orcid":false,"given":"John G.","family":"Stell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,4,2]]},"reference":[{"key":"4_CR1","volume-title":"Category Theory","author":"S Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory. Oxford Logic Guides, Oxford University Press, Oxford, New York, second edn (2010)"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Bellas\u00a0Acosta, I., Stell, J.G.: Monotone $$\\Omega $$-sup-fuzzy relations: converse and complementation. In: Fahrenberg, U., Fussner, W., Gl\u00fcck, R. (eds.) Relational and Algebraic Methods in Computer Science, pp. 65\u201382. Springer Nature Switzerland, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-68279-7_5","DOI":"10.1007\/978-3-031-68279-7_5"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Bloch, I., Heijmans, H.J., Ronse, C.: Mathematical morphology. In: Aiello, M., Pratt-Hartmann, I., Van\u00a0Benthem, J. (eds.) Handbook of Spatial Logics, pp. 857\u2013944. Springer Netherlands, Dordrecht (2007), https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_14","DOI":"10.1007\/978-1-4020-5587-4_14"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"275","DOI":"10.2140\/pjm.1986.124.275","volume":"124","author":"A Carboni","year":"1986","unstructured":"Carboni, A., Street, R.: Order ideals in categories. Pac. J. Math. 124(2), 275\u2013288 (1986). https:\/\/doi.org\/10.2140\/pjm.1986.124.275","journal-title":"Pac. J. Math."},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Cignoli, R.L.O., D\u2019Ottaviano, I.M.L., Mundici, D.: Algebraic foundations of many-valued reasoning, trends in logic, vol.\u00a07. Springer Netherlands, Dordrecht (2000). https:\/\/doi.org\/10.1007\/978-94-015-9480-6","DOI":"10.1007\/978-94-015-9480-6"},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.cviu.2012.08.016","volume":"117","author":"J Cousty","year":"2013","unstructured":"Cousty, J., Najman, L., Dias, F., Serra, J.: Morphological filtering on graphs. Comput. Vis. Image Underst. 117(4), 370\u2013385 (2013). https:\/\/doi.org\/10.1016\/j.cviu.2012.08.016","journal-title":"Comput. Vis. Image Underst."},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Galatos, N., Jipsen, P.: Weakening relation algebras and FL$$^{2}$$-algebras. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science, pp. 117\u2013133. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43520-2_8","DOI":"10.1007\/978-3-030-43520-2_8"},{"key":"4_CR8","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics, vol.\u00a0151. Elsevier (2007)"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Guti\u00e9rrez\u00a0Garc\u00eda, J., H\u00f6hle, U., Kubiak, T.: Tensor products of complete lattices and their application in constructing quantales. Fuzzy Sets Syst. 313, 43\u201360 (Apr 2017). https:\/\/doi.org\/10.1016\/j.fss.2016.04.009","DOI":"10.1016\/j.fss.2016.04.009"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Heijmans, H.J., Ronse, C.: The algebraic basis of mathematical morphology I. Dilations and erosions. Comput. Vision, Graph. Image Process. 50(3), 245\u2013295 (Jun 1990). https:\/\/doi.org\/10.1016\/0734-189X(90)90148-O","DOI":"10.1016\/0734-189X(90)90148-O"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/1047-3203(92)90028-R","volume":"3","author":"HJAM Heumans","year":"1992","unstructured":"Heumans, H.J.A.M., Nacken, P., Toet, A., Vincent, L.: Graph morphology. J. Vis. Commun. Image Represent. 3(1), 24\u201338 (1992). https:\/\/doi.org\/10.1016\/1047-3203(92)90028-R","journal-title":"J. Vis. Commun. Image Represent."},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Jipsen, P., \u0160emrl, J.: Representable and diagonally representable weakening relation algebras. In: Gl\u00fcck, R., Santocanale, L., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science, pp. 140\u2013157. Springer International Publishing, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-28083-2_9","DOI":"10.1007\/978-3-031-28083-2_9"},{"key":"4_CR13","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory. Reprints in Theory and Applications of Categories (10), vi+137 (2005)"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/A:1008731705603","volume":"9","author":"J Koslowski","year":"2001","unstructured":"Koslowski, J.: Beyond the Chu-construction. Appl. Categ. Struct. 9(2), 153\u2013171 (2001). https:\/\/doi.org\/10.1023\/A:1008731705603","journal-title":"Appl. Categ. Struct."},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"FW Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano 43(1), 135\u2013166 (1973). https:\/\/doi.org\/10.1007\/BF02924844","journal-title":"Rendiconti del Seminario Matematico e Fisico di Milano"},{"key":"4_CR16","unstructured":"Maddux, R.D.: Relation Algebras. Elsevier (2006)"},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Rosenthal, K.I.: The Theory of Quantaloids. Chapman and Hall\/CRC, New York (Jul 2014). https:\/\/doi.org\/10.1201\/9781498710404","DOI":"10.1201\/9781498710404"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0960129500001146","volume":"2","author":"KI Rosenthal","year":"1992","unstructured":"Rosenthal, K.I.: Girard quantaloids. Math. Struct. Comput. Sci. 2(1), 93\u2013108 (1992). https:\/\/doi.org\/10.1017\/S0960129500001146","journal-title":"Math. Struct. Comput. Sci."},{"issue":"4","key":"4_CR19","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1093\/logcom\/exn088","volume":"20","author":"C Russo","year":"2010","unstructured":"Russo, C.: Quantale modules and their operators, with applications. J. Log. Comput. 20(4), 917\u2013946 (2010). https:\/\/doi.org\/10.1093\/logcom\/exn088","journal-title":"J. Log. Comput."},{"key":"4_CR20","volume-title":"Image Analysis and Mathematical Morphology","author":"J Serra","year":"1983","unstructured":"Serra, J.: Image Analysis and Mathematical Morphology. Academic Press Inc, USA (1983)"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Serra, J., Soille, P., Viergever, M.A. (eds.): Mathematical Morphology and Its Applications to Image Processing, Computational Imaging and Vision, vol.\u00a02. Springer Netherlands, Dordrecht (1994). https:\/\/doi.org\/10.1007\/978-94-011-1040-2","DOI":"10.1007\/978-94-011-1040-2"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Stell, J.G.: Relations on hypergraphs. In: Kahl, W., Griffin, T.G. (eds.) Relational and Algebraic Methods in Computer Science, pp. 326\u2013341. Lecture Notes in Computer Science, Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33314-9_22","DOI":"10.1007\/978-3-642-33314-9_22"},{"issue":"3","key":"4_CR23","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.jlamp.2014.12.001","volume":"84","author":"JG Stell","year":"2015","unstructured":"Stell, J.G.: Symmetric Heyting relation algebras with applications to hypergraphs. J. Logic. Algebr. Methods Programm. 84(3), 440\u2013455 (2015). https:\/\/doi.org\/10.1016\/j.jlamp.2014.12.001","journal-title":"J. Logic. Algebr. Methods Programm."},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1016\/j.jlamp.2015.11.003","volume":"85","author":"JG Stell","year":"2016","unstructured":"Stell, J.G., Schmidt, R.A., Rydeheard, D.: A bi-intuitionistic modal logic: foundations and automation. J. Logic. Algebr. Methods Programm. 85(4), 500\u2013519 (2016). https:\/\/doi.org\/10.1016\/j.jlamp.2015.11.003","journal-title":"J. Logic. Algebr. Methods Programm."},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.70930\/tac\/3d34lf7w","volume":"14","author":"I Stubbe","year":"2005","unstructured":"Stubbe, I.: Categorical structures enriched in a quantaloid: categories, distributors and functors. Theory Appl. Categories 14, 1\u201345 (2005)","journal-title":"Theory Appl. Categories"},{"issue":"14","key":"4_CR26","doi-asserted-by":"publisher","first-page":"283","DOI":"10.70930\/tac\/yrov3qso","volume":"16","author":"I Stubbe","year":"2006","unstructured":"Stubbe, I.: Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory Appl. Categories 16(14), 283\u2013306 (2006)","journal-title":"Theory Appl. Categories"},{"key":"4_CR27","doi-asserted-by":"publisher","unstructured":"Wolter, F., Zakharyaschev, M.: Intuitionistic modal logic. In: Cantini, A., Casari, E., Minari, P. (eds.) Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, pp. 227\u2013238. Springer Netherlands, Dordrecht (1999). https:\/\/doi.org\/10.1007\/978-94-017-2109-7_17","DOI":"10.1007\/978-94-017-2109-7_17"},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"DN Yetter","year":"1990","unstructured":"Yetter, D.N.: Quantales and (noncommutative) linear logic. J. Symbol. Logic 55(1), 41\u201364 (1990). https:\/\/doi.org\/10.2307\/2274953","journal-title":"J. Symbol. Logic"}],"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-032-22469-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:57:57Z","timestamp":1775055477000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22469-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032224682","9783032224699"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22469-9_4","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":"2 April 2026","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":"B\u0119dlewo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","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":"7 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics-conf.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}