{"entities":{"Q943065":{"pageid":944913,"ns":120,"title":"Item:Q943065","lastrevid":65519586,"modified":"2026-04-12T03:09:50Z","type":"item","id":"Q943065","labels":{"en":{"language":"en","value":"The change-base issue for \\(\\Omega\\)-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5322654"}},"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":"Q943065$06D30E35-4670-41C9-B5DA-E0C39C91F7BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"498d1b089916511247dae027af49311d2f397755","datavalue":{"value":{"text":"The change-base issue for \\(\\Omega\\)-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q943065$F590B712-B6D9-4437-8152-11FD16FA1905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17b93207f53e43d6df9de48631f6cb8cb8bd726d","datavalue":{"value":"1147.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$AEC9A1E0-E8E5-4C40-8F80-F303E60278D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f781b70c1042410f9a2fab1b9079c286f76f55","datavalue":{"value":{"entity-type":"item","numeric-id":377471,"id":"Q377471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$7D16E381-B4A3-40F0-9721-A6527BFBEBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0a989c6171df5f1729de6c51f28d4e943196d3","datavalue":{"value":{"entity-type":"item","numeric-id":230416,"id":"Q230416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$FC44DE12-AAB1-4735-BD0D-5220C6088855","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d97c3955a340bf2fabd1dc725af535482e933f3","datavalue":{"value":{"entity-type":"item","numeric-id":181511,"id":"Q181511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$0348103B-E392-4FD3-878B-BF818812CDAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7ae86847693a663da657dd01ca0d7f412c86045","datavalue":{"value":{"time":"+2008-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q943065$60BE9D23-D65B-4BCB-9A36-5C4FD724CFC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d06e9aceda4d99f3d1be0052ab7b3c378c1a47b8","datavalue":{"value":"If \\((\\Omega ,*,I)\\) is a commutative and unital quantale (that is, the unit element \\(I\\) of \\(\\Omega \\) coincides with the top element in \\(\\Omega \\)), an \\( \\Omega\\)-category is a set \\(A\\) together with an assignment of an element \\( A(a,b)\\in \\Omega \\) to every ordered pair \\((a,b)\\in A\\times A\\) such that \\( I\\leq A(a,a)\\) for every \\(a\\in A\\) and \\(A(a,b)*A(b,c)\\leq A(a,c)\\) for all \\( a,b,c\\in A.\\) An \\(\\Omega\\)-functor between \\(\\Omega\\)-categories \\(A\\) and \\(B\\) is a function \\(f:A\\rightarrow B\\) such that \\(A(a,b)\\leq B(f(a),f(b)),\\) for all \\(a,b\\in A.\\)  If \\(G:(\\Omega ,*,I)\\rightarrow (\\Omega ^{\\prime },*^{\\prime },I^{\\prime })\\) is a closed unital map between commutative, unital quantales, then \\(G\\) induces a canonical functor \\(\\overline{G}:\\Omega \\)-\\({\\mathcal C}at\\rightarrow \\Omega ^{\\prime }\\)-\\({\\mathcal C}at\\). This paper is concerned with some basic questions about \\( \\overline{G}:\\) when does \\(\\overline{G}\\) have a left adjoint which is also of this form; when \\(\\overline{G}\\) is an equivalence of categories and when does \\(\\overline{G}\\) preserve completeness?  The main results are: (1) when \\(\\Omega\\), \\(\\Omega ^{\\prime }\\) are integral, \\( G:\\Omega \\rightarrow \\Omega ^{\\prime }\\) and \\(F:\\Omega ^{\\prime }\\rightarrow \\Omega \\) are closed unital maps, then \\(\\overline{F}\\) is a left adjoint of \\( \\overline{G}\\) if and only if \\(F\\) is a left adjoint of \\(G;\\) (2) \\(\\overline{G}\\) is an equivalence of categories if and only if \\(G\\) is an isomorphism in the category of commutative unital quantales and closed unital maps; and (3) a sufficient condition is obtained for \\(\\overline{G}\\) to preserve completeness in the sense that \\(\\overline{G}A\\) is a complete \\(\\Omega ^{\\prime }\\)-category whenever \\(A\\) is a complete \\(\\Omega \\)-category.","type":"string"},"datatype":"string"},"type":"statement","id":"Q943065$1ACAF690-0EA4-4101-9397-5897F3EC5020","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$DB91D0D0-D4DA-46C3-82A1-4C48BFE1BB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$53AEA434-95E8-4E09-9F80-C4BB35ECDEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d288a69107e543ad02bf89fe7b5f6e3ec2021571","datavalue":{"value":"06F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$2307876C-056D-416C-8C92-702E42B7A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$2214CBF0-6A4F-4D9B-BC49-7B329037D3CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3bb16d8aa5887c517063967e0d32bf779cf2ba2","datavalue":{"value":"5322654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$CEF554AA-C2FD-4DC0-AF3F-A105360D8F7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9940cd26005116a743add04778382eba47e92ed","datavalue":{"value":"commutative unital quantale","type":"string"},"datatype":"string"},"type":"statement","id":"Q943065$100A9467-9237-4F26-BCE1-9BB989D2C7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1be7b9cd8a0b640972556f32b33f69c2e98dca","datavalue":{"value":"closed unital map","type":"string"},"datatype":"string"},"type":"statement","id":"Q943065$2B784537-0894-4632-9D9C-B95EECB9581A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q943065$5790F8A0-39D4-4AA6-8C81-9C70DA37ABE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6298488b46e73ba98b3799a5d413d3a8b11ba2e","datavalue":{"value":"change-base","type":"string"},"datatype":"string"},"type":"statement","id":"Q943065$E2B10026-3BAD-435F-99B1-2ABB93205250","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$DCFD5559-7FC9-4CE4-A6A6-26446D83EB23","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d1e24fc41bd8c174d653632cfd7a949b18416f5","datavalue":{"value":"Q58331932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$B99E2248-9607-4EA1-99C5-C36E2DA4235F","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":"Q943065$A0AF0A1F-84BE-4499-90C7-DA9D25CB9699","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baafcb34fabdbb58e6e1f3fce55e5d2e396ad4ae","datavalue":{"value":"https://doi.org/10.1007/s11401-007-0401-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q943065$A28BEA84-E6FD-452D-A4F1-0E9FE97D949E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9106ca375696f855765c0ad942ddac31babf679","datavalue":{"value":"W1981565079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$DCADCBE2-AD10-46E3-84F2-47DD1EC80DD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$D9230764-082B-4E1C-B472-69420DFF2F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d184081f6b6278f9ff8fa9f72875e1e714691","datavalue":{"value":{"entity-type":"item","numeric-id":1127524,"id":"Q1127524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$94DD0B97-AAAA-4A97-8933-AFC2B7E3358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$7375D210-7F8C-4FD9-8337-090920FDB7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$4CA9A1D1-977A-4B10-9942-D485A8D6C1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$E098B68F-44BA-44DF-A2AC-5B37CAB1672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$0DF47AAA-908D-4C91-9CE5-058FB42390DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$88BC814E-02A3-42B7-B19A-53619784642E","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":"Q943065$BF3BF176-B069-40A4-95E5-67423D29AFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f3270e4071feae0ee42d7cb050eeb635073e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2456352,"id":"Q2456352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$DA6F14ED-FC0F-4EF2-BC55-2D4AD884ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$0721948B-1CE6-489B-9796-0E20BFDB644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$604A2005-77B0-4869-8E88-D680EBFE5600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f538de0fb504f2b0b674256b62b645861d4899","datavalue":{"value":{"entity-type":"item","numeric-id":3336431,"id":"Q3336431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$AE9490AC-ED0B-4FB6-96EB-B6E9D770EB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc0373a1fee3108bc543e0608c2d87cde92fb96","datavalue":{"value":{"entity-type":"item","numeric-id":4680353,"id":"Q4680353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$0A4CB4F4-85A9-4AB0-88CF-3F6394D968F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c71bf2b61c24623b29851a7d0f670feab01c36","datavalue":{"value":{"entity-type":"item","numeric-id":3411948,"id":"Q3411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$50A2EB26-99DA-4DEA-8A74-09808839EE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b18056893fe86b2ec63b76cb23d0f53e6ee39bcd","datavalue":{"value":{"entity-type":"item","numeric-id":1390934,"id":"Q1390934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$2BF757DC-63BA-4683-9425-7A51EB637FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b63c7d64d1f111f15a6956f7dbcfce64928d34","datavalue":{"value":{"entity-type":"item","numeric-id":834443,"id":"Q834443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q943065$60305F2C-8DC0-4BD1-A573-F4A40294A5FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d2609c0c38de4f0945519d3e55d446a08a46c61","datavalue":{"value":"10.1007/S11401-007-0401-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q943065$B5AA76EE-C24B-4638-B924-365DB7092A8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626f13deed0643843c20483d62cc909622df5503","datavalue":{"value":{"entity-type":"item","numeric-id":2464932,"id":"Q2464932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112b8052a342340a9eb554e0b8b73d78e5f4cb81","datavalue":{"value":{"amount":"+0.7808829545974731","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":"Q943065$9BFE1ACB-76BA-4F80-9451-4688B72EBD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebebdd4f18b6e25361d7f6d8b3ebbd17012a2a12","datavalue":{"value":{"entity-type":"item","numeric-id":2859992,"id":"Q2859992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2f4aa16ca532cdf24fba7d65da7f882cc12390","datavalue":{"value":{"amount":"+0.7724817991256714","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":"Q943065$C668006F-615F-415F-AB1A-4D10E550E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b5cb836153864e855ff3f63f4577a2ffc6dc63","datavalue":{"value":{"entity-type":"item","numeric-id":276411,"id":"Q276411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c971792b582574eaa7c8a151972e646aa8374532","datavalue":{"value":{"amount":"+0.7328163385391235","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":"Q943065$521823C8-16A7-4BBE-8650-7C5BA26A0B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319b2c55f3762c6829c2fa87b0359724be18ee3c","datavalue":{"value":{"entity-type":"item","numeric-id":4901956,"id":"Q4901956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62abeabe5403ea8a8f3d200e1f96ac1fc8a9aba","datavalue":{"value":{"amount":"+0.7299011945724487","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":"Q943065$D9100B37-C2CC-451C-91A9-E0953BF517F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1fe777af6c4b2780398a56f20acebc637eb2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4680353,"id":"Q4680353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36287ec3b3ee4a29b0505116dd97fb3161b3cac8","datavalue":{"value":{"amount":"+0.7274141311645508","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":"Q943065$2F5F78AB-A420-4081-BE3C-93B9B033EB8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The change-base issue for \\(\\Omega\\)-categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_change-base_issue_for_%5C(%5COmega%5C)-categories"}}}}}