{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T21:40:19Z","timestamp":1718142019451},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,10,17]],"date-time":"2015-10-17T00:00:00Z","timestamp":1445040000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Centre for Mathematics of the University of Coimbra (funded by the program COMPETE and by the Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia)","award":["PEst-C\/MAT\/UI0324\/2013"],"award-info":[{"award-number":["PEst-C\/MAT\/UI0324\/2013"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s10485-015-9413-z","type":"journal-article","created":{"date-parts":[[2015,10,18]],"date-time":"2015-10-18T23:03:58Z","timestamp":1445209438000},"page":"83-104","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Kan-injectivity of Locales and Spaces"],"prefix":"10.1007","volume":"25","author":[{"given":"Margarida","family":"Carvalho","sequence":"first","affiliation":[]},{"given":"Lurdes","family":"Sousa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"9413_CR1","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/s10485-008-9153-4","volume":"17","author":"J Ad\u00e1mek","year":"2009","unstructured":"Ad\u00e1mek, J., H\u00e9bert, M., Sousa, L.: The orthogonal subcategory problem and the small object argument. Appl. Categ. Structures 17, 211\u2013246 (2009)","journal-title":"Appl. Categ. Structures"},{"key":"9413_CR2","first-page":"1","volume":"17","author":"J Ad\u00e1mek","year":"2006","unstructured":"Ad\u00e1mek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories, John Wiley and Sons, New York 1990. Repr. Theory Appl. Categ. 17, 1\u2013507 (2006)","journal-title":"Repr. Theory Appl. Categ."},{"issue":"1","key":"9413_CR3","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1017\/S0960129514000024","volume":"25","author":"J Ad\u00e1mek","year":"2015","unstructured":"Ad\u00e1mek, J., Sousa, L., Velebil, J.: Kan injectivity in order-enriched categories. Math. Structures Comput. Sci. 25(1), 6\u201345 (2015)","journal-title":"Math. Structures Comput. Sci."},{"issue":"4","key":"9413_CR4","first-page":"301","volume":"46","author":"B Banaschewski","year":"2005","unstructured":"Banaschewski, B.: Projective frames: a general view. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 46(4), 301\u2013312 (2005)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"issue":"17","key":"9413_CR5","doi-asserted-by":"crossref","first-page":"2408","DOI":"10.1016\/j.topol.2010.12.016","volume":"158","author":"M Carvalho","year":"2011","unstructured":"Carvalho, M., Sousa, L.: Order-preserving reflectors and injectivity. Topology Appl. 158(17), 2408\u20132422 (2011)","journal-title":"Topology Appl."},{"key":"9413_CR6","doi-asserted-by":"crossref","first-page":"50","DOI":"10.4153\/CJM-1975-008-8","volume":"27","author":"A Day","year":"1975","unstructured":"Day, A.: Filter monads, continuous lattices and closure systems. Canad. J. Math. 27, 50\u201359 (1975)","journal-title":"Canad. J. Math."},{"key":"9413_CR7","unstructured":"Escard\u00f3, M.H.: Injective spaces via the filter monad. In: Proceedings of the 12th Summer Conference on General Topology and its Applications (1997)"},{"issue":"1-2","key":"9413_CR8","doi-asserted-by":"crossref","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. Topology Appl. 89(1-2), 75\u2013120 (1998)","journal-title":"Topology Appl."},{"issue":"1","key":"9413_CR9","doi-asserted-by":"crossref","first-page":"193","DOI":"10.4995\/agt.2003.2018","volume":"4","author":"MH Escard\u00f3","year":"2003","unstructured":"Escard\u00f3, M.H.: Injective locales over perfect embeddings and algebras of the upper powerlocale monad. Appl. Gen. Topol. 4(1), 193\u2013200 (2003)","journal-title":"Appl. Gen. Topol."},{"key":"9413_CR10","doi-asserted-by":"crossref","unstructured":"Escard\u00f3, M.H., Flagg, R.C.: Semantic domains, injective spaces and monads. Electron. Notes Theor. Comput. Sci., 20 (1999)","DOI":"10.1016\/S1571-0661(04)80077-X"},{"key":"9413_CR11","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0022-4049(72)90001-1","volume":"2","author":"PJ Freyd","year":"1972","unstructured":"Freyd, P.J., Kelly, G.M.: Categories of continuous functors I. J. Pure Appl. Algebra 2, 169\u2013191 (1972)","journal-title":"J. Pure Appl. Algebra"},{"key":"9413_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G Gierz","year":"1980","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: A Compendium of Continuous Lattices. Springer-Verlag, Berlin-New York (1980)"},{"key":"9413_CR13","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF01213787","volume":"15","author":"R-E Hoffmann","year":"1975","unstructured":"Hoffmann, R.-E.: Charakterisierung n\u00fcchterner R\u00e4ume. Manuscripta Math. 15, 185\u2013191 (1975)","journal-title":"Manuscripta Math."},{"issue":"2","key":"9413_CR14","doi-asserted-by":"crossref","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 topological spaces. Order 30(2), 643\u2013655 (2013)","journal-title":"Order"},{"key":"9413_CR15","doi-asserted-by":"crossref","unstructured":"Hong, S.S.: Extensive subcategories of the category of T 0-spaces. Canad. J. Math. 27, 311\u2013318","DOI":"10.4153\/CJM-1975-037-7"},{"key":"9413_CR16","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0022-4049(81)90100-6","volume":"22","author":"PT Johnstone","year":"1981","unstructured":"Johnstone, P.T.: The Gleason cover of a topos II. J. Pure Appl. Algebra 22, 229\u2013247 (1981)","journal-title":"J. Pure Appl. Algebra"},{"key":"9413_CR17","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1982","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)"},{"key":"9413_CR18","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198515982.001.0001","volume-title":"Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Number 44 in Oxford Logic Guides, The Clarendon Press","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Number 44 in Oxford Logic Guides, The Clarendon Press. Oxford University Press, Oxford (2002)"},{"key":"9413_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700006353","volume":"22","author":"GM Kelly","year":"1980","unstructured":"Kelly, G.M.: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on. Bull. Austral. Math. Soc. 22, 1\u201383 (1980)","journal-title":"Bull. Austral. Math. Soc."},{"key":"9413_CR20","first-page":"1","volume":"10","author":"GM Kelly","year":"2005","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory, London Math. Soc. Lecture Notes Series 64, Cambridge Univ. Press, 1982. Repr. Theory Appl. Categ. 10, 1\u2013136 (2005)","journal-title":"Repr. Theory Appl. Categ."},{"key":"9413_CR21","doi-asserted-by":"crossref","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 (version 3). J. Pure Appl. Algebra 104, 41\u201359 (1995)","journal-title":"J. Pure Appl. Algebra"},{"key":"9413_CR22","unstructured":"Mac Lane, S.: Categories for the working mathematician, 2nd edition. Springer (1998)"},{"key":"9413_CR23","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1080\/16073606.1984.9632331","volume":"7","author":"S Mantovani","year":"1984","unstructured":"Mantovani, S.: Epireflective hulls of spaces of ordinals in T 0. Quaest. Math 7, 203\u2013211 (1984)","journal-title":"Quaest. Math"},{"key":"9413_CR24","doi-asserted-by":"crossref","unstructured":"Nel, L.D., Wilson, R.G.: Epireflections in the category of T 0-spaces, Fund. Math, LXXV (1972)","DOI":"10.4064\/fm-75-1-69-74"},{"key":"9413_CR25","doi-asserted-by":"crossref","unstructured":"Picado, J., Pultr, A.: Frames and Locales: Topology Without Points, Birkh\u00e4user\/Springer Basel AG, Basel (2012)","DOI":"10.1007\/978-3-0348-0154-6"},{"key":"9413_CR26","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1090\/S0002-9939-1953-0058568-4","volume":"4","author":"G Raney","year":"1953","unstructured":"Raney, G.: A subdirected union representation of completely distributive complete lattices. Proc. Amer. Math. Soc. 4, 518\u2013522 (1953)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9413_CR27","doi-asserted-by":"crossref","unstructured":"Scott, D.S.: Continuous lattices. In: Toposes, algebraic geometry and logic (F. W. Lawvere, ed.), Lecture Notes in Mathematics, vol. 274, Springer Verlag, 97\u2013136 (1972)","DOI":"10.1007\/BFb0073967"},{"key":"9413_CR28","doi-asserted-by":"crossref","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. Topology Appl. 13, 201\u2013223 (1982)","journal-title":"Topology Appl."},{"key":"9413_CR29","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF00124117","volume":"4","author":"L Sousa","year":"1996","unstructured":"Sousa, L.: \u03b1-sober spaces via the orthogonal closure operator. Appl. Categ. Structures 4, 87\u201395 (1996)","journal-title":"Appl. Categ. Structures"},{"issue":"2","key":"9413_CR30","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1112\/jlms\/s2-45.2.321","volume":"45","author":"MB Smyth","year":"1992","unstructured":"Smyth, M.B.: Stable compactification I. J. London Math. Soc. 45(2), 321\u2013340 (1992)","journal-title":"J. London Math. Soc."},{"key":"9413_CR31","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"MB Smyth","year":"1982","unstructured":"Smyth, M.B., Plotkin, G.D.: The category-theoretic solution of recursive domain equations. SIAM J. Comput. 11, 761\u2013783 (1982)","journal-title":"SIAM J. Comput."},{"key":"9413_CR32","unstructured":"Wyler, O.: Compact ordered spaces and prime Wallman compactifications. In: Categorical Topology, pp. 618\u2013635, Sigma Ser. Pure Math., 5, Heldermann, Berlin, (1984)"},{"issue":"2","key":"9413_CR33","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00250716","volume":"90","author":"O Wyler","year":"1985","unstructured":"Wyler, O.: Algebraic theories for continuous semilattices. Arch. Rational Mech. Anal. 90(2), 99\u2013113(1985)","journal-title":"Arch. Rational Mech. Anal."},{"key":"9413_CR34","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BF01214522","volume":"148","author":"V Z\u00f6berlein","year":"1976","unstructured":"Z\u00f6berlein, V.: Doctrines on 2-categories. Math. Z. 148, 267\u2013279(1976)","journal-title":"Math.Z."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-015-9413-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-015-9413-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-015-9413-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-015-9413-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,11]],"date-time":"2024-06-11T21:27:44Z","timestamp":1718141264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-015-9413-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,17]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["9413"],"URL":"https:\/\/doi.org\/10.1007\/s10485-015-9413-z","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,17]]}}}