{"entities":{"Q535118":{"pageid":536885,"ns":120,"title":"Item:Q535118","lastrevid":51241499,"modified":"2026-01-17T10:04:43Z","type":"item","id":"Q535118","labels":{"en":{"language":"en","value":"Relative universality and universality obtained by adding constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886755"}},"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":"Q535118$0E788202-A8CE-4255-AF48-130BF157C158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"365c9558e5a73cadb6cac0b896b19e286114f56c","datavalue":{"value":{"text":"Relative universality and universality obtained by adding constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535118$6EFA92B4-DC55-456A-959D-1FF3F0409608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ededa4b05a707016a6257883a93cff6761ffbf2d","datavalue":{"value":"1218.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535118$8E6C4F7F-0363-4DB1-9F6D-56AF5D1C48D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3acf5c61291083b6c3c3a5e6ecbad13e820b04ed","datavalue":{"value":{"entity-type":"item","numeric-id":535117,"id":"Q535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$9BE07A47-4015-4F68-94D8-3112202620C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$D7F6EEA1-4F11-44E2-AF62-F7EAD2997376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d12c6860773e4b7465f098c35b7f1d608a627517","datavalue":{"value":{"entity-type":"item","numeric-id":409253,"id":"Q409253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$624B260A-2314-4201-8250-6A87CC058EB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$0692C739-1BA5-49E9-A88C-642225C7D5DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535118$D9C01C25-C683-4C95-857B-6DD2C3B821BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fff6f17375425e4c0266e6c568b5b25f628ff77c","datavalue":{"value":"A category \\(\\mathcal K\\) is alg-universal if the category of graphs can be fully embedded into \\(\\mathcal K\\). A class \\(I\\) of \\(\\mathcal K\\)-morphisms is an ideal in \\(\\mathcal K\\) if \\(f\\circ g\\in I\\) whenever \\(f\\in I\\) or \\( g\\in I\\). A faithful functor \\(F:{\\mathcal L}@>>>{\\mathcal K}\\) is an \\(I\\)-relatively full embedding if \\(Ff\\notin I\\) for every \\({\\mathcal L}\\)-morphism \\(f\\), and for every \\(\\mathcal K\\)-morphism \\(g:Fa@>>>Fb\\notin I\\) for some \\({\\mathcal L}\\)-objects \\( a\\) and \\(b\\) there exists an \\({\\mathcal L}\\)-morphism \\(f:a@>>>b\\) with \\(Ff=g\\). A category \\(\\mathcal K\\) is \\(I\\)-relatively alg-universal if there exists an \\(I\\)-relatively full embedding from an alg-universal category into \\(\\mathcal K\\). For a concrete category \\(\\mathcal K\\) and a cardinal \\(\\alpha\\), let \\(\\alpha {\\mathcal K}\\) be a category whose objects are pairs \\((A,\\{a_i\\}_{i\\in\\alpha})\\) where \\(A\\) is a \\(\\mathcal K\\)-object and \\(a_ i\\) is an element of the underlying set of \\(A\\) for all \\(i\\in\\alpha\\), and morphisms from \\((A,\\{a_i\\}_{i\\in\\alpha})\\) into \\((B,\\{b_i\\}_{i\\in\\alpha})\\) are all \\( {\\mathcal K}\\)-morphisms \\(f:A@>>>B\\) with \\(f(a_i)=b_i\\) for all \\(i\\in\\alpha\\).  It is proved that if a concrete category \\(\\mathcal K\\) is \\(I\\)-relatively alg-universal for some ideal \\(I\\) of \\(\\mathcal K\\) then there exists a cardinal \\(\\alpha\\) such that \\(\\alpha {\\mathcal K}\\) is alg-universal. The opposite implication does not hold. Consequences of this result are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535118$F0316B55-27DC-41B6-9BFD-E726468881AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$05F9FA12-D56A-4739-A927-9DA9419F10AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535118$777647E6-D18A-417E-AB5C-9F0EDA4D117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535118$6C779649-7BDB-44FA-950E-BD0288874F3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a55ff059387de1a72c90d9c89102d38ffdad512","datavalue":{"value":"5886755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535118$8577427A-0E4E-4210-A889-1D74E1004124","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cef2bc7289da3e628df0b6455594e1460ff780f","datavalue":{"value":"alg-universal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q535118$444D630D-6A01-4AE8-863D-C517599EB0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q535118$C48CF698-2496-4F0D-AC7E-6516B0877222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f8362a3c571b982f2d3a6248313cd0f79f289e","datavalue":{"value":"\\(I\\)-relatively alg-universal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q535118$EAE24721-80AB-4D3F-ADEC-0F8D8E6A411C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee23a11c5a390a4a49d48ac81263a1e875de2d77","datavalue":{"value":"\\(\\alpha\\)-expansion of a category","type":"string"},"datatype":"string"},"type":"statement","id":"Q535118$7F617918-D0B8-4141-9CBF-D9E87B6F6BAE","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":"Q535118$FF27D6CD-ACA6-4016-929D-43D966729219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56edcf5f9e13156d31c5eb59f3869531da560b1f","datavalue":{"value":"https://doi.org/10.1007/s00012-011-0122-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q535118$F707F008-2B2D-4FF5-BAD4-2EA588D3DF24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6db5853aeeb70cfff4eeb234a0115e1d3cc93784","datavalue":{"value":"W2095053904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535118$6C3818D3-ABA2-41D8-A9C1-8AFBA7AF08BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"523819609651f2f6a40af82a52388d4aa3b24c89","datavalue":{"value":{"entity-type":"item","numeric-id":5392569,"id":"Q5392569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$247FD659-AC3B-4D9A-B765-21AC4209ED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200dae59b3dc22669ace2e61061145c308e65afc","datavalue":{"value":{"entity-type":"item","numeric-id":5592291,"id":"Q5592291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$C1C0879C-F3EC-45C1-AE9A-7229FE3EC10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678995cc0f95d728f9c08fa2d28635502183f46a","datavalue":{"value":{"entity-type":"item","numeric-id":801164,"id":"Q801164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$5B0320B2-CE5D-43E2-B2EF-912AEA5F1389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535118$5D15C9C7-088B-4D3A-B472-45B78F9878FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5a0617b4377fa02015ab6f10809948cffa0a6fd","datavalue":{"value":"10.1007/S00012-011-0122-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535118$6B16DE98-EC5D-41D9-BB84-1485E31D6ABD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f3d854acdbddb5ce7d2f39ffe6b89374a00521","datavalue":{"value":{"entity-type":"item","numeric-id":5392569,"id":"Q5392569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b153298195dde3c3c7347d1b5826e7cb21489703","datavalue":{"value":{"amount":"+0.8216655850410461","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":"Q535118$0B395910-8586-487C-A1C6-9624EC4294E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358359a341f18d550935b27213fbb4716147e45b","datavalue":{"value":{"entity-type":"item","numeric-id":1080450,"id":"Q1080450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b0f23d21e435112d919aabac6a93bf1eefa4d3","datavalue":{"value":{"amount":"+0.7747166752815247","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":"Q535118$9F4FD74C-F2A4-4A7B-8C75-F7C4E7E1FE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557ae33e4beddcac21b3ea76aca99e30f71f9a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1770613,"id":"Q1770613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a008442d4edd1c8a2d243b591e06a0e621ce2ca7","datavalue":{"value":{"amount":"+0.7587352991104126","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":"Q535118$E4FD0B15-8061-4016-A739-894F0F32DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889dd77966008e75ed3acdf73dc3f1de9395880a","datavalue":{"value":{"entity-type":"item","numeric-id":3980097,"id":"Q3980097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e7b391242fc67432ee21d31b7e0216b68c6da51","datavalue":{"value":{"amount":"+0.7573633790016174","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":"Q535118$20853A50-B229-4AD7-AFB7-90F7B11F8365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de08277e6340a5bcf1c85633a907cd42d788c541","datavalue":{"value":{"entity-type":"item","numeric-id":4209987,"id":"Q4209987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3721818caebdf058970b1ba10e332cf5f7b981","datavalue":{"value":{"amount":"+0.7570098042488098","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":"Q535118$8521476E-F293-41F9-8CDE-5E886AFA0098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:535118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:535118"}}}}}