{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:23:22Z","timestamp":1778757802289,"version":"3.51.4"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T00:00:00Z","timestamp":1624147200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PD\/BD\/128187\/2016"],"award-info":[{"award-number":["PD\/BD\/128187\/2016"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["POCI-01-0145-FEDER-030947"],"award-info":[{"award-number":["POCI-01-0145-FEDER-030947"]}]},{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["UID\/MAT\/04106\/2019"],"award-info":[{"award-number":["UID\/MAT\/04106\/2019"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s10485-021-09650-0","type":"journal-article","created":{"date-parts":[[2021,6,20]],"date-time":"2021-06-20T14:02:22Z","timestamp":1624197742000},"page":"33-78","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Injective Hulls of Quantale-Enriched Multicategories"],"prefix":"10.1007","volume":"30","author":[{"given":"Eros","family":"Martinelli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,20]]},"reference":[{"key":"9650_CR1","unstructured":"Banaschewski, B.: The filter space of a lattice: Its role in general topology. In: Proc. Univ. Houston, Lattice Theory Conference, Houston, pp. 147\u2013155 (1973)"},{"key":"9650_CR2","unstructured":"Barr, M.: Relational algebras. In: MacLane, S. (ed.) Reports of the Midwest Category Seminar IV, pages 39\u201355. Springer Berlin Heidelberg, (1970). Authors: H. Applegate, M. Barr, B. Day, E. Dubuc, Phreilambud, A. Pultr, R. Street, M. Tierney, S. Swierczkowski"},{"key":"9650_CR3","unstructured":"B\u00e9nabou, J.: Les distributeurs. Universit\u00e9 Catholique de Louvain, Institut de Math\u00e9matique Pure et Appliqu\u00e9e, rapport 33, (1973)"},{"issue":"2","key":"9650_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0022-4049(83)90100-7","volume":"29","author":"R Betti","year":"1983","unstructured":"Betti, R., Carboni, A., Street, R., Walters, R.: Variation through enrichment. J. Pure Appl. Algebra 29(2), 109\u2013127 (1983)","journal-title":"J. Pure Appl. Algebra"},{"issue":"6","key":"9650_CR5","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1007\/s10485-014-9386-3","volume":"23","author":"D Chikhladze","year":"2015","unstructured":"Chikhladze, D., Clementino, M.M., Hofmann, D.: Representable $$(T, V)$$-categories. Appl. Categ. Struct. 23(6), 829\u2013858 (2015)","journal-title":"Appl. Categ. Struct."},{"issue":"2","key":"9650_CR6","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s10485-008-9152-5","volume":"17","author":"MM Clementino","year":"2009","unstructured":"Clementino, M.M., Hofmann, D.: Lawvere completeness in topology. Appl. Categ. Struct. 17(2), 175\u2013210 (2009)","journal-title":"Appl. Categ. Struct."},{"issue":"12","key":"9650_CR7","first-page":"210","volume":"21","author":"MM Clementino","year":"2009","unstructured":"Clementino, M.M., Hofmann, D.: Relative injectivity as cocompleteness for a class of distributors. Theory Appl. Categ. 21(12), 210\u2013230 (2009)","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"9650_CR8","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/S0022-4049(02)00246-3","volume":"179","author":"MM Clementino","year":"2003","unstructured":"Clementino, M.M., Tholen, W.: Metric, topology and multicategory a common approach. J. Pure Appl. Algebra 179(1), 13\u201347 (2003)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9650_CR9","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1017\/S0004972700046979","volume":"5","author":"B Day","year":"1971","unstructured":"Day, B.: Construction of biclosed categories. Bull. Aust. Math. Soc. 5(1), 139\u2013140 (1971)","journal-title":"Bull. Aust. Math. Soc."},{"key":"9650_CR10","unstructured":"Day, B., Street, R.: Kan extensions along promonoidal functors. Theory Appl. Categ. 1,(1995)"},{"key":"9650_CR11","unstructured":"Ern\u00e9, M.: The ABC of order and topology. In: Herrlich, H., Porst, H.-E. (eds.) Category Theory at Work, volume\u00a018 of Research and Exposition in Mathematics, pp. 57\u201383. Heldermann Verlag, Berlin (1991). With Cartoons by Marcel Ern\u00e9"},{"key":"9650_CR12","unstructured":"Escard\u00f3, M.H.: Injective spaces via the filter monad. In: Proceedings of the $$12^{{\\rm th}}$$ Summer Conference on General Topology and its Applications (North Bay, ON, 1997), vol. 22, pp. 97\u2013100 (1997)"},{"issue":"1\u20132","key":"9650_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0166-8641(97)00225-3","volume":"89","author":"MH Escard\u00f3","year":"1998","unstructured":"Escard\u00f3, M.H.: Properly injective spaces and function spaces. Topol. Appl. 89(1\u20132), 75\u2013120 (1998)","journal-title":"Topol. Appl."},{"key":"9650_CR14","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S1571-0661(04)80077-X","volume":"20","author":"MH Escard\u00f3","year":"1999","unstructured":"Escard\u00f3, M.H., Flagg, R.C.: Semantic domains, injective spaces and monads. Electron. Notes Theor. Comput. Sci. 20, 229\u2013244 (1999)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"9650_CR15","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s000120050018","volume":"37","author":"RC Flagg","year":"1997","unstructured":"Flagg, R.C.: Quantales and continuity spaces. Algebra Universalis 37(3), 257\u2013276 (1997)","journal-title":"Algebra Universalis"},{"key":"9650_CR16","doi-asserted-by":"crossref","unstructured":"Hofmann, D., Seal, G.J., Tholen, W.: editors. Monoidal Topology. A Categorical Approach to Order, Metric, and Topology, volume 153 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, (July 2014). Authors: M. M. Clementino, E. Colebunders, D. Hofmann, R. Lowen, R. Lucyshyn-Wright, G. J. Seal and W. Tholen","DOI":"10.1017\/CBO9781107517288"},{"issue":"5","key":"9650_CR17","doi-asserted-by":"publisher","first-page":"810","DOI":"10.4153\/CJM-1985-045-3","volume":"37","author":"RE Hoffmann","year":"1985","unstructured":"Hoffmann, R.E.: The injective hull and the $${\\cal{C}}{\\cal{L}}$$-compactification of a continuous poset. Can. J. Math. 37(5), 810\u2013853 (1985)","journal-title":"Can. J. Math."},{"issue":"3","key":"9650_CR18","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/j.jpaa.2010.04.021","volume":"215","author":"D Hofmann","year":"2011","unstructured":"Hofmann, D.: Injective spaces via adjunction. J. Pure Appl. Algebra 215(3), 283\u2013302 (2011)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9650_CR19","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/s11083-012-9267-z","volume":"30","author":"D Hofmann","year":"2013","unstructured":"Hofmann, D.: A four for the price of one duality principle for distributive spaces. Order 30(2), 643\u2013655 (2013)","journal-title":"Order"},{"issue":"12","key":"9650_CR20","doi-asserted-by":"publisher","first-page":"2274","DOI":"10.1016\/j.jpaa.2014.04.002","volume":"218","author":"D Hofmann","year":"2014","unstructured":"Hofmann, D.: The enriched Vietoris monad on representable spaces. J. Pure Appl. Algebra 218(12), 2274\u20132318 (2014)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"9650_CR21","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s10485-008-9169-9","volume":"18","author":"D Hofmann","year":"2010","unstructured":"Hofmann, D., Tholen, W.: Lawvere completion and separation via closure. Appl. Categ. Struct. 18(3), 259\u2013287 (2010)","journal-title":"Appl. Categ. Struct."},{"key":"9650_CR22","unstructured":"Hofmann, K.H., Mislove, M.W.: A continuous poset whose compactification is not a continuous poset. The square is the injective hull of a discontinuous CL-compact poset. Seminar on Continuity in Semilattices, Technische Universit\u00e4t Darmstadt, memo (1982)"},{"key":"9650_CR23","doi-asserted-by":"crossref","unstructured":"Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Amer. Math. Soc., 51(309):vii+71, (1984)","DOI":"10.1090\/memo\/0309"},{"key":"9650_CR24","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory, volume\u00a064 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1982. Republished in: Reprints in Theory and Applications of Categories. No.\u00a010, pp. 1\u2013136 (2005)"},{"issue":"1","key":"9650_CR25","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0022-4049(94)00111-U","volume":"104","author":"A Kock","year":"1995","unstructured":"Kock, A.: Monads for which structures are adjoint to units. J. Pure Appl. Algebra 104(1), 41\u201359 (1995)","journal-title":"J. Pure Appl. Algebra"},{"key":"9650_CR26","doi-asserted-by":"crossref","unstructured":"Lambek, J.: Deductive systems and categories II. standard constructions and closed categories. In: Hilton, P.\u00a0J. (ed.), Category Theory, Homology Theory and their Applications I, pp. 76\u2013122. Springer, Berlin (1969)","DOI":"10.1007\/BFb0079385"},{"issue":"13","key":"9650_CR27","first-page":"338","volume":"26","author":"J Lambek","year":"2012","unstructured":"Lambek, J., Barr, M., Kennison, J.F., Raphael, R.: Injective hulls of partially ordered monoids. Theory Appl. Categ. 26(13), 338\u2013348 (2012)","journal-title":"Theory Appl. Categ."},{"key":"9650_CR28","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W., Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano, 43(1), 135\u2013166, : Republished. Reprints in Theory and Applications of Categories, No. 1(2002), 1\u201337 (Dec. 1973)","DOI":"10.1007\/BF02924844"},{"key":"9650_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525896","volume-title":"Higher Operads","author":"T Leinster","year":"2004","unstructured":"Leinster, T.: Higher Operads. Cambridge University Press, Higher Categories (2004)"},{"issue":"3","key":"9650_CR30","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1090\/S0002-9947-1937-1501929-X","volume":"42","author":"HM MacNeille","year":"1937","unstructured":"MacNeille, H.M.: Partially ordered sets. Trans. Am. Math. Soc. 42(3), 416\u2013416 (1937)","journal-title":"Trans. Am. Math. Soc."},{"key":"9650_CR31","doi-asserted-by":"crossref","unstructured":"Restall, G.: Relevant and substructural logics. In: Gabbay, D.M., Woods, J. (eds.), Logic and the Modalities in the Twentieth Century, volume\u00a07 of Handbook of the History of Logic, pp. 289\u2013398. North-Holland, (2006)","DOI":"10.1016\/S1874-5857(06)80030-0"},{"issue":"11","key":"9650_CR32","first-page":"1881","volume":"11","author":"W Rump","year":"2013","unstructured":"Rump, W.: Quantum B-algebras. Central Eur. J. Math. 11(11), 1881\u20131899 (2013)","journal-title":"Central Eur. J. Math."},{"key":"9650_CR33","unstructured":"Rump, W.: The completion of a quantum B-algebra. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques, Vol. LVII-3 (2016), (2016)"},{"issue":"2","key":"9650_CR34","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1016\/j.apal.2013.10.007","volume":"165","author":"W Rump","year":"2014","unstructured":"Rump, W., Yang, Y.C.: Non-commutative logical algebras and algebraic quantales. Ann. Pure Appl. Logic 165(2), 759\u2013785 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9650_CR35","doi-asserted-by":"crossref","unstructured":"Scott, D.: Continuous lattices. In Lawvere, F.W. (ed.), Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics, pp. 97\u2013136. Springer, 1972. Dalhousie University, Halifax, January 16\u201319 (1971)","DOI":"10.1007\/BFb0073967"},{"issue":"1","key":"9650_CR36","first-page":"1","volume":"14","author":"I Stubbe","year":"2005","unstructured":"Stubbe, I.: Categorical structures enriched in a quantaloid: categories, distributors and functors. Theory Appl. Categ. 14(1), 1\u201345 (2005)","journal-title":"Theory Appl. Categ."},{"key":"9650_CR37","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.fss.2013.08.009","volume":"256","author":"I Stubbe","year":"2014","unstructured":"Stubbe, I.: An introduction to quantaloid-enriched categories. Fuzzy Sets Syst. 256, 95\u2013116 (2014)","journal-title":"Fuzzy Sets Syst."},{"issue":"3","key":"9650_CR38","first-page":"279","volume":"23","author":"RJ Wood","year":"1982","unstructured":"Wood, R.J.: Abstract pro arrows I. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 23(3), 279\u2013290 (1982)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"issue":"2","key":"9650_CR39","first-page":"135","volume":"26","author":"RJ Wood","year":"1985","unstructured":"Wood, R.J.: Proarrows II. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 26(2), 135\u2013168 (1985)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"}],"updated-by":[{"DOI":"10.1007\/s10485-021-09657-7","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T00:00:00Z","timestamp":1626998400000}}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09650-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-021-09650-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09650-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T20:29:15Z","timestamp":1672518555000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-021-09650-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,20]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["9650"],"URL":"https:\/\/doi.org\/10.1007\/s10485-021-09650-0","relation":{"correction":[{"id-type":"doi","id":"10.1007\/s10485-021-09657-7","asserted-by":"object"}]},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,20]]},"assertion":[{"value":"19 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 June 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2021","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s10485-021-09657-7","URL":"https:\/\/doi.org\/10.1007\/s10485-021-09657-7","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}]}}