{"entities":{"Q910488":{"pageid":912336,"ns":120,"title":"Item:Q910488","lastrevid":65283744,"modified":"2026-04-12T01:32:11Z","type":"item","id":"Q910488","labels":{"en":{"language":"en","value":"Small Cauchy completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4140006"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$42E0E9F2-DFCA-4669-B604-55663FDE5E5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a673886a48237af876334ff56cfad612c9956408","datavalue":{"value":{"text":"Small Cauchy completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910488$1D849191-736B-4CAE-895E-FC13CD5258D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93726d6ffd54c22b00d250e0cce3011e61fbfa05","datavalue":{"value":"0696.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910488$D7AA1E07-E4D7-4BAC-B911-F8563F476BDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"582b0765ec3cc6f71aacb74f2fdbc5fae408ae6f","datavalue":{"value":"10.1016/0022-4049(89)90019-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910488$ADCF9FFD-B7FA-47D2-9BBC-02D3F776DBBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60c806ded3d11743d4c0e469b76ac6fcfaab26da","datavalue":{"value":{"entity-type":"item","numeric-id":584382,"id":"Q584382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$60DE2D9F-7C38-4C80-B8B3-29219D2908ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$CD2757FE-2BE3-4BBA-B633-A6E4B08EE3D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q910488$F7BF1A48-B96D-406F-B7E3-B9565961F027","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8aefd89ee0f8aad8bf7ef61a0c5afeec906d4efc","datavalue":{"value":"Cauchy completions in the categorical sense first appeared in \\textit{F. W. Lawvere}'s study of generalized metric spaces, i.e. categories enriched over \\(\\bar R_+\\) [Rend. Semin. Mat. Fis. Milano 43, 135-166 (1973; Zbl 0335.18006)]. They have since become an important concept in the general theory of categories enriched over a ``nice'' base category \\({\\mathcal V}\\), where ``nice'' usually means symmetric monoidal and/or closed as well as complete and cocomplete. For \\({\\mathcal V}=Set\\), \\({\\mathcal V}=Ab\\) and \\({\\mathcal V}=\\bar R_+\\) the Cauchy completions of small \\({\\mathcal V}\\)-categories are again small, but if \\({\\mathcal V}\\) is the category of complete join semilattices equipped with a suitable tensor product, this need not be the case [cf. \\textit{G. M. Kelly}, Basic concepts of enriched category theory (1982; Zbl 0478.18005)]. Now the question arises, under what conditions smallness is preserved under the operation of Cauchy completion. The author improves upon unpublished results by Kelly and gives an affirmative answer in the case that \\({\\mathcal V}\\) is locally presentable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910488$D5FD7200-49FB-4A5F-AC24-40E2E1D29473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910488$E56927E1-9494-46BC-8364-C04857C0F49C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62aa866bde85654a842ae9467aae6bcc62808d81","datavalue":{"value":"4140006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910488$D523FCDE-4422-4543-8466-BC1702BEF2D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q910488$02D25CD1-369B-42B1-88CD-B91E177A7491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cb0fe557cb59a77fb0e27b39428bbdd03cbc19","datavalue":{"value":"Cauchy completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q910488$EA038BB1-B716-4678-AD5F-6FFD03831E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9e781e9437b216f89b633442162e88123a1d87","datavalue":{"value":"locally presentable category","type":"string"},"datatype":"string"},"type":"statement","id":"Q910488$CF0BD087-B253-4639-BE7C-9BD9B257C0F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8de95ec82acc344b9b397e962636896e8ffb712","datavalue":{"value":{"entity-type":"item","numeric-id":173924,"id":"Q173924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$582F86A7-8FD1-4492-B574-9754D072444F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$4A86C06E-D4DD-4FF1-B44F-59F10D1EC934","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"088d9f037173e5bc2be3e90e68ade121e845d382","datavalue":{"value":"https://doi.org/10.1016/0022-4049(89)90019-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q910488$D2980D0F-ADE4-4618-85D8-AC8C2FDF29F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ef1a8cdb8f0d6ac9bae2316a04b2c9c4d6dae6f","datavalue":{"value":"W2058918180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910488$39A12958-E5DA-4FAE-ACB8-3860DB70BA53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$27FA339C-57F3-4BFA-9C6D-99757C3E46AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5c32b039bf05a4c9a26bddce967d7270f7312d","datavalue":{"value":{"entity-type":"item","numeric-id":1083522,"id":"Q1083522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$31AD6B22-E99D-4937-B7FD-D69247613213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fcffdfec3788e66e6319cf7a4f2dd077ee1db8","datavalue":{"value":{"entity-type":"item","numeric-id":584383,"id":"Q584383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$9C19141F-CB28-4ABD-8118-AC25A65086D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8c8acb9925a04698fe887d04699f13e3b0a10","datavalue":{"value":{"entity-type":"item","numeric-id":3491793,"id":"Q3491793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$300DE3D2-593F-4B0F-BA48-C3E5A50C9453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$72A76520-7596-4BBB-9253-BEB75A38B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3963623e14036fdcd9407f7a7c0a470a239028","datavalue":{"value":{"entity-type":"item","numeric-id":4081433,"id":"Q4081433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$7CFB9309-B784-486F-9ED8-21FB06F2F9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1206ced8c3a6aa4db69f31a637ddf84ef9a766cb","datavalue":{"value":{"entity-type":"item","numeric-id":3035667,"id":"Q3035667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910488$ABBE3BAD-9A28-4B06-85D6-3E2D8DE86BB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ba05b9eacdc03c1e926fbc43bbbbe052885282","datavalue":{"value":{"entity-type":"item","numeric-id":3726315,"id":"Q3726315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e841af9e6215e6b051c05cb7cd8a1f39be3958","datavalue":{"value":{"amount":"+0.8307738900184631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910488$701917D4-3E09-49AA-BC20-5B283F332CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5811d2fd3e60c9e5888eea55605f3bdfaaa69771","datavalue":{"value":{"entity-type":"item","numeric-id":1022482,"id":"Q1022482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3be12d1232fec387d40eeab477abb3965671ea1","datavalue":{"value":{"amount":"+0.8046413660049438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910488$BC04579E-A461-45C6-BAA5-1209125AEB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17c90ad31586f84162f01838dfd557d1d8a88d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4953035,"id":"Q4953035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a11b399964d1c6f8ed88e3959d686b233ad91d","datavalue":{"value":{"amount":"+0.8030784726142883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910488$C21AB428-0BFE-4C75-B541-25DC9EB0C70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb1d4c7a8427c1dbbc621d058b0887d693d6a24","datavalue":{"value":{"entity-type":"item","numeric-id":3137152,"id":"Q3137152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccb7ead5e67c0b16eddfb5846d45a2cd302264c","datavalue":{"value":{"amount":"+0.801840603351593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910488$65BE0070-9242-4516-A857-37B767433ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f527d4c7531acf374dd6ea666fa7c774c65e7814","datavalue":{"value":{"entity-type":"item","numeric-id":3830188,"id":"Q3830188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a71ac220673889ddbc76f0c8c72dc615a621488","datavalue":{"value":{"amount":"+0.7949097156524658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q910488$8979808B-E415-4323-89AE-D513F9750BCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Small Cauchy completions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Small_Cauchy_completions"}}}}}