{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:06Z","timestamp":1740122466141,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,12,27]],"date-time":"2022-12-27T00:00:00Z","timestamp":1672099200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,27]],"date-time":"2022-12-27T00:00:00Z","timestamp":1672099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-21-CE48-0017"],"award-info":[{"award-number":["ANR-21-CE48-0017"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s10485-022-09699-5","type":"journal-article","created":{"date-parts":[[2022,12,27]],"date-time":"2022-12-27T07:02:42Z","timestamp":1672124562000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Unitless Frobenius Quantales"],"prefix":"10.1007","volume":"31","author":[{"given":"C\u00e9dric","family":"de Lacroix","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Santocanale","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,27]]},"reference":[{"key":"9699_CR1","doi-asserted-by":"publisher","unstructured":"Abramsky, S., Heunen, C.: H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics. In: Mathematical Foundations of Information Flow. Proc. Sympos. Appl. Math., 71, 1\u201324. American Mathematical Society, Providence, RI (2012). https:\/\/doi.org\/10.1090\/psapm\/071\/599","DOI":"10.1090\/psapm\/071\/599"},{"issue":"1","key":"9699_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01066355","volume":"3","author":"H Andr\u00e9ka","year":"1994","unstructured":"Andr\u00e9ka, H., Mikul\u00e1s, S.: Lambek calculus and its relational semantics: completeness and incompleteness. J. Logic Lang. Inf. 3(1), 1\u201337 (1994)","journal-title":"J. Logic Lang. Inf."},{"key":"9699_CR3","doi-asserted-by":"publisher","unstructured":"Barr, M.: $$\\ast $$-autonomous categories. Lecture Notes in Mathematics, Springer, Berlin, Heidelberg 752, 140 (1979). https:\/\/doi.org\/10.1007\/BFb0064582","DOI":"10.1007\/BFb0064582"},{"key":"9699_CR4","unstructured":"Blount, K.: On the structure of residuated lattices. Ph.D. thesis, Vanderbilt University (1999)"},{"key":"9699_CR5","doi-asserted-by":"publisher","unstructured":"Buszkowski, W.: Lambek grammars based on pregroups. In: de Groote, P., Morrill, G., Retor\u00e9, C. (eds.) Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27\u201329, 2001, Proceedings. Lecture Notes in Computer Science, 2099, 95\u2013109. Springer (2001). https:\/\/doi.org\/10.1007\/3-540-48199-0_6","DOI":"10.1007\/3-540-48199-0_6"},{"key":"9699_CR6","doi-asserted-by":"publisher","unstructured":"Conway, J.B.: A Course in Operator Theory. Graduate Studies in Mathematics, American Mathematical Society, Providence, RI 21, 372 (2000). https:\/\/doi.org\/10.1090\/gsm\/021","DOI":"10.1090\/gsm\/021"},{"key":"9699_CR7","doi-asserted-by":"publisher","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn., p. 298. Cambridge University Press, New York (2002). https:\/\/doi.org\/10.1017\/CBO9780511809088","DOI":"10.1017\/CBO9780511809088"},{"issue":"2","key":"9699_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10485-008-9138-3","volume":"18","author":"JM Egger","year":"2010","unstructured":"Egger, J.M., Kruml, D.: Girard couples of quantales. Appl. Categ. Struct. 18(2), 123\u2013133 (2010). https:\/\/doi.org\/10.1007\/s10485-008-9138-3","journal-title":"Appl. Categ. Struct."},{"key":"9699_CR9","doi-asserted-by":"publisher","unstructured":"Eklund, P., Guti\u00e9rrez Garcia, J., H\u00f6hle, U., Kortelainen, J.: Semigroups in Complete Lattices. Dev. Math. 54, 326 (2018). https:\/\/doi.org\/10.1007\/978-3-319-78948-4","DOI":"10.1007\/978-3-319-78948-4"},{"key":"9699_CR10","doi-asserted-by":"publisher","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. Stud. Logic Found. Math. 151. (2007). https:\/\/doi.org\/10.1016\/S0049-237X(07)80005-X","DOI":"10.1016\/S0049-237X(07)80005-X"},{"issue":"1","key":"9699_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0022-4049(89)90028-5","volume":"57","author":"DA Higgs","year":"1989","unstructured":"Higgs, D.A., Rowe, K.A.: Nuclearity in the category of complete semilattices. J. Pure Appl. Algebra 57(1), 67\u201378 (1989). https:\/\/doi.org\/10.1016\/0022-4049(89)90028-5","journal-title":"J. Pure Appl. Algebra"},{"key":"9699_CR12","doi-asserted-by":"publisher","first-page":"485","DOI":"10.2307\/1993112","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.A.: Lattices with involution. Trans. Am. Math. Soc. 87, 485\u2013491 (1958). https:\/\/doi.org\/10.2307\/1993112","journal-title":"Trans. Am. Math. Soc."},{"key":"9699_CR13","doi-asserted-by":"publisher","unstructured":"Kruml, D., Paseka, J.: Algebraic and categorical aspects of quantales. Handbook of Algebra, North-Holland 5, 323\u2013362 (2008). https:\/\/doi.org\/10.1016\/S1570-7954(07)05006-1","DOI":"10.1016\/S1570-7954(07)05006-1"},{"key":"9699_CR14","doi-asserted-by":"publisher","unstructured":"Kuznetsov, S.L.: Relational models for the Lambek calculus with intersection and unit. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science\u201419th International Conference, RAMiCS 2021, Marseille, France, November 2\u20135, 2021, Proceedings. Lecture Notes in Computer Science, 13027, 258\u2013274. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-88701-8_16","DOI":"10.1007\/978-3-030-88701-8_16"},{"issue":"3","key":"9699_CR15","doi-asserted-by":"publisher","first-page":"493","DOI":"10.2307\/1990305","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O.: Galois connexions. Trans. Am. Math. Soc. 55(3), 493\u2013513 (1944)","journal-title":"Trans. Am. Math. Soc."},{"key":"9699_CR16","doi-asserted-by":"publisher","unstructured":"Quintero, S., Ram\u00edrez, S., Rueda, C., Valencia, F.: Counting and computing join-endomorphisms in lattices. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science\u201418th International Conference, RAMiCS 2020, Palaiseau, France, April 8\u201311, 2020, Proceedings [postponed]. Lecture Notes in Computer Science, Springer 12062, 253\u2013269 (2020). https:\/\/doi.org\/10.1007\/978-3-030-43520-2_16","DOI":"10.1007\/978-3-030-43520-2_16"},{"key":"9699_CR17","doi-asserted-by":"publisher","first-page":"418","DOI":"10.2307\/1993380","volume":"97","author":"GN Raney","year":"1960","unstructured":"Raney, G.N.: Tight Galois connections and complete distributivity. Trans. Am. Math. Soc. 97, 418\u2013426 (1960). https:\/\/doi.org\/10.2307\/1993380","journal-title":"Trans. Am. Math. Soc."},{"key":"9699_CR18","unstructured":"Rosenthal, K.I.: Quantales and Their Applications. Pitman Research Notes in Mathematics Series, Longman Scientific & Technical, Harlow 234, 165 (1990)"},{"issue":"1","key":"9699_CR19","first-page":"3","volume":"31","author":"KI Rosenthal","year":"1990","unstructured":"Rosenthal, K.I.: A note on Girard quantales. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 31(1), 3\u201311 (1990)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"9699_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-021-09970-1","author":"W Rump","year":"2021","unstructured":"Rump, W.: Frobenius quantales, Serre quantales and the Riemann\u2013Roch theorem. Studia Logica (2021). https:\/\/doi.org\/10.1007\/s11225-021-09970-1","journal-title":"Studia Logica"},{"key":"9699_CR21","doi-asserted-by":"publisher","unstructured":"Santocanale, L.: Dualizing sup-preserving endomaps of a complete lattice. In: Spivak, D.I., Vicary, J. (eds.) Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6\u201310th July 2020. EPTCS, 333, 335\u2013346 (2020). https:\/\/doi.org\/10.4204\/EPTCS.333.23","DOI":"10.4204\/EPTCS.333.23"},{"key":"9699_CR22","doi-asserted-by":"publisher","unstructured":"Santocanale, L.: Skew metrics valued in Sugihara semigroups. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science\u201419th International Conference, RAMiCS 2021, Marseille, France, November 2-=5, 2021, Proceedings. Lecture Notes in Computer Science, 13027, 396\u2013412. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-88701-8_24","DOI":"10.1007\/978-3-030-88701-8_24"},{"key":"9699_CR23","doi-asserted-by":"publisher","unstructured":"Santocanale, L.: The involutive quantaloid of completely distributive lattices. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science\u201418th International Conference, RAMiCS 2020, Palaiseau, France, April 8\u201311, 2020, Proceedings [postponed]. Lecture Notes in Computer Science, vol. 12062, pp. 286\u2013301. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-43520-2_18","DOI":"10.1007\/978-3-030-43520-2_18"},{"key":"9699_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2020.106472","author":"L Santocanale","year":"2021","unstructured":"Santocanale, L., Gouveia, M.J.: The continuous weak order. J. Pure Appl. Algebra (2021). https:\/\/doi.org\/10.1016\/j.jpaa.2020.106472","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9699_CR25","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. Symb. Logic 55(1), 41\u201364 (1990). https:\/\/doi.org\/10.2307\/2274953","journal-title":"J. Symb. Logic"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-022-09699-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-022-09699-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-022-09699-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T07:16:59Z","timestamp":1677309419000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-022-09699-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,27]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["9699"],"URL":"https:\/\/doi.org\/10.1007\/s10485-022-09699-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2022,12,27]]},"assertion":[{"value":"3 June 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 December 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 December 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare they have no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interest"}}],"article-number":"5"}}