{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:35:52Z","timestamp":1759073752540},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,8,8]],"date-time":"2008-08-08T00:00:00Z","timestamp":1218153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s10485-008-9152-5","type":"journal-article","created":{"date-parts":[[2008,8,7]],"date-time":"2008-08-07T10:20:58Z","timestamp":1218104458000},"page":"175-210","source":"Crossref","is-referenced-by-count":28,"title":["Lawvere Completeness in Topology"],"prefix":"10.1007","volume":"17","author":[{"given":"Maria Manuel","family":"Clementino","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Hofmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,8,8]]},"reference":[{"key":"9152_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BFb0060439","volume":"137","author":"M. Barr","year":"1970","unstructured":"Barr, M.: Relational algebras. Lecture Notes in Math. 137, 39\u201355 (1970)","journal-title":"Lecture Notes in Math."},{"key":"9152_CR2","unstructured":"B\u00e9nabou, J.: Distributors at work. Lecture notes written by Thomas Streicher. www.mathematik.tu-darmstadt.de\/\u223cstreicher\/"},{"key":"9152_CR3","doi-asserted-by":"crossref","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, 109\u2013127 (1983)","journal-title":"J. Pure Appl. Algebra"},{"key":"9152_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00042-X","volume":"193","author":"M.M. Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., van Breugel, F., Rutten, J.J.M.M.: Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding. Theoret. Comput. Sci. 193, 1\u201351 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"9152_CR5","volume-title":"Handbook of Categorical Algebra. Vol. 1","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra. Vol. 1. Cambridge University Press, Cambridge (1994)"},{"key":"9152_CR6","first-page":"133","volume":"27","author":"F. Borceux","year":"1986","unstructured":"Borceux, F., Dejean, D.: Cauchy completion in category theory. Cahiers Topologie G\u00e9om. Differentielle Cat\u00e9g. 27, 133\u2013146 (1986)","journal-title":"Cahiers Topologie G\u00e9om. Differentielle Cat\u00e9g."},{"key":"9152_CR7","doi-asserted-by":"crossref","first-page":"3423","DOI":"10.1090\/S0002-9939-02-06472-9","volume":"130","author":"M.M. Clementino","year":"2002","unstructured":"Clementino, M.M., Hofmann, D.: Triquotient maps via ultrafilter convergence. Proc. Amer. Math. Soc. 130, 3423\u20133431 (2002)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9152_CR8","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/S0166-8641(01)00293-0","volume":"125","author":"M.M. Clementino","year":"2002","unstructured":"Clementino, M.M., Hofmann, D.: On limit stability of special classes of continuous maps. Topology Appl. 125, 471\u2013488 (2002)","journal-title":"Topology Appl."},{"key":"9152_CR9","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1023\/A:1024274315778","volume":"11","author":"M.M. Clementino","year":"2003","unstructured":"Clementino, M.M., Hofmann, D.: Topological features of lax algebras. Appl. Categ. Structures 11, 267\u2013286 (2003)","journal-title":"Appl. Categ. Structures"},{"key":"9152_CR10","first-page":"41","volume":"13","author":"M.M. Clementino","year":"2004","unstructured":"Clementino, M.M., Hofmann, D.: On extensions of lax monads. Theory Appl. Categ. 13, 41\u201360 (2004)","journal-title":"Theory Appl. Categ."},{"key":"9152_CR11","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1023\/B:APCS.0000049310.37773.fa","volume":"12","author":"M.M. Clementino","year":"2004","unstructured":"Clementino, M.M., Hofmann, D.: Effective descent morphisms in categories of lax algebras. Appl. Categ. Structures 12, 413\u2013425 (2004)","journal-title":"Appl. Categ. Structures"},{"key":"9152_CR12","doi-asserted-by":"crossref","first-page":"3113","DOI":"10.1016\/j.topol.2005.01.038","volume":"153","author":"M.M. Clementino","year":"2006","unstructured":"Clementino, M.M., Hofmann, D.: Exponentiation in V-categories. Topology Appl. 153, 3113\u20133128 (2006)","journal-title":"Topology Appl."},{"key":"9152_CR13","unstructured":"Clementino, M.M., Hofmann, D.: Relative injectivity as cocompleteness for a class of distributors. Preprint 08-34, Department of Mathematics, University of Coimbra (2008)"},{"key":"9152_CR14","first-page":"139","volume":"60","author":"M.M. Clementino","year":"2003","unstructured":"Clementino, M.M., Hofmann, D., Tholen, W.: The convergence approach to exponentiable maps. Portugal Math. 60, 139\u2013160 (2003)","journal-title":"Portugal Math."},{"key":"9152_CR15","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1023\/A:1024458931031","volume":"11","author":"M.M. Clementino","year":"2003","unstructured":"Clementino, M.M., Hofmann, D., Tholen, W.: Exponentiability in categories of lax algebras. Theory Appl. Categ. 11, 337\u2013352 (2003)","journal-title":"Theory Appl. Categ."},{"key":"9152_CR16","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1023\/B:APCS.0000018144.87456.10","volume":"12","author":"M.M. Clementino","year":"2004","unstructured":"Clementino, M.M., Hofmann, D., Tholen, W.: One setting for all: metric, topology, uniformity, approach structure. Appl. Categ. Structures 12, 127\u2013154 (2004)","journal-title":"Appl. Categ. Structures"},{"key":"9152_CR17","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/S0022-4049(02)00246-3","volume":"179","author":"M.M. Clementino","year":"2003","unstructured":"Clementino, M.M., Tholen, W.: Metric, topology and multicategory\u2014a common approach. J. Pure Appl. Algebra 179, 13\u201347 (2003)","journal-title":"J. Pure Appl. Algebra"},{"key":"9152_CR18","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/978-3-642-99902-4_22","volume-title":"Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965)","author":"S. Eilenberg","year":"1966","unstructured":"Eilenberg, S., Kelly, G.M.: Closed categories. In: Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965), pp. 421\u2013562. Springer, New York (1966)"},{"key":"9152_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.4153\/CMB-1978-009-2","volume":"21","author":"P. Fletcher","year":"1978","unstructured":"Fletcher, P., Lindgren, W.: A construction of the pair-completion of a quasi-uniform space. Canad. Math. Bull. 21, 53\u201359 (1978)","journal-title":"Canad. Math. Bull."},{"key":"9152_CR20","volume-title":"Quasi-uniform Spaces. Lecture Notes in Pure and Applied Maths","author":"P. Fletcher","year":"1982","unstructured":"Fletcher, P., Lindgren, W.: Quasi-uniform Spaces. Lecture Notes in Pure and Applied Maths. Marcel Dekker, New York (1982)"},{"key":"9152_CR21","volume-title":"Categories, Allegories. vol.\u00a039 of North-Holland Mathematical Library","author":"P. Freyd","year":"1990","unstructured":"Freyd, P., Scedrov, A.: Categories, Allegories. vol.\u00a039 of North-Holland Mathematical Library. North-Holland, Amsterdam (1990)"},{"key":"9152_CR22","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.jpaa.2004.12.039","volume":"199","author":"D. Hofmann","year":"2005","unstructured":"Hofmann, D.: An algebraic description of regular epimorphisms in topology. J. Pure Appl. Algebra 199, 71\u201386 (2005)","journal-title":"J. Pure Appl. Algebra"},{"key":"9152_CR23","doi-asserted-by":"crossref","first-page":"3180","DOI":"10.1016\/j.topol.2005.01.037","volume":"153","author":"D. Hofmann","year":"2006","unstructured":"Hofmann, D.: Exponentiation for unitary structures. Topology Appl. 153, 3180\u20133202 (2006)","journal-title":"Topology Appl."},{"key":"9152_CR24","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1016\/j.aim.2007.04.013","volume":"215","author":"D. Hofmann","year":"2007","unstructured":"Hofmann, D.: Topological theories and closed objects. Adv. Math. 215, 789\u2013824 (2007)","journal-title":"Adv. Math."},{"key":"9152_CR25","unstructured":"Hofmann, D.: Injective spaces via adjunction, Technical report. University of Aveiro. arXiv:math.CT\/0804.0326."},{"key":"9152_CR26","unstructured":"Hofmann, D., Tholen, W.: Lawvere completion and separation via closure, Technical report, University of Aveiro 2008. arXiv:math.CT70801.0199"},{"key":"9152_CR27","volume-title":"Basic Concepts of Enriched Category Theory, vol.\u00a064 of London Mathematical Society Lecture Note Series","author":"G.M. Kelly","year":"1982","unstructured":"Kelly, G.M.: Basic Concepts of Enriched Category Theory, vol.\u00a064 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (1982)"},{"key":"9152_CR28","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF02924844","volume":"43","author":"F.W. Lawvere","year":"1973","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rend. Sem. Mat. Fis. Milano 43, 135\u2013166 (1973); Reprints in Theory and Applications of Categories 1, 1\u201337 (2002)","journal-title":"Rend. Sem. Mat. Fis. Milano"},{"key":"9152_CR29","volume-title":"Approach Spaces, Oxford Mathematical Monographs","author":"R. Lowen","year":"1997","unstructured":"Lowen, R.: Approach Spaces, Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, New York (1997)"},{"key":"9152_CR30","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/s10485-006-9019-6","volume":"14","author":"M. Mahmoudi","year":"2006","unstructured":"Mahmoudi, M., Schubert, C., Tholen, W.: Universality of coproducts in categories of lax algebras. Appl. Categ. Structures 14, 243\u2013249 (2006)","journal-title":"Appl. Categ. Structures"},{"key":"9152_CR31","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0304-3975(00)00415-1","volume":"275","author":"E. Manes","year":"2002","unstructured":"Manes, E.: Taut monads and T0-spaces. Theoret. Comput. Sci. 275, 79\u2013109 (2002)","journal-title":"Theoret. Comput. Sci."},{"issue":"2\u20133","key":"9152_CR32","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0022-4049(01)00096-2","volume":"168","author":"I. Moerdijk","year":"2002","unstructured":"Moerdijk, I.: Monads on tensor categories. J. Pure Appl. Algebra 168(2\u20133), 189\u2013208 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"9152_CR33","unstructured":"Van\u00a0Olmen, C.: A study of the interaction between frame theory and approach theory. PhD thesis, University of Antwerp (2005)"},{"key":"9152_CR34","first-page":"221","volume":"14","author":"G.J. Seal","year":"2005","unstructured":"Seal, G.J.: Canonical and op-canonical lax algebras. Theory Appl. Categ. 14, 221\u2013243 (2005)","journal-title":"Theory Appl. Categ."},{"key":"9152_CR35","unstructured":"Tholen, W.: Lectures on Lax-Algebraic Methods in General Topology, Lecture 1: $\\mathsf{V}$ -categories, $\\mathsf{V}$ -modules, Lawvere completeness, Haute-Bodeux (2007), http:\/\/www.math.yorku.ca\/\u223ctholen\/HB07Tholen1.pdf"},{"issue":"3","key":"9152_CR36","first-page":"279","volume":"23","author":"R.J. Wood","year":"1982","unstructured":"Wood, R.J.: Abstract proarrows. I. Cahiers Topologie G\u00e9om. Differentielle Cat\u00e9g. 23(3), 279\u2013290 (1982)","journal-title":"Cahiers Topologie G\u00e9om. Differentielle Cat\u00e9g."},{"key":"9152_CR37","first-page":"5","volume-title":"Categorical Foundations. Encyclopedia Math. Appl., vol.\u00a097","author":"R.J. Wood","year":"2004","unstructured":"Wood, R.J.: Ordered sets via adjunctions. In: Categorical Foundations. Encyclopedia Math. Appl., vol.\u00a097, pp. 5\u201347. Cambridge University Press, Cambridge (2004)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9152-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9152-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9152-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:24:28Z","timestamp":1559154268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9152-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,8]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["9152"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9152-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,8]]}}}