{"entities":{"Q1353445":{"pageid":1364184,"ns":120,"title":"Item:Q1353445","lastrevid":46734057,"modified":"2025-12-25T12:02:01Z","type":"item","id":"Q1353445","labels":{"en":{"language":"en","value":"The locally free relatively filtered diagram as an inductive completion of a system of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005452"}},"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":"Q1353445$EAB8C455-2FAE-4119-81CD-6515CFDF770F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6b94973faff955862f27c768c2193c6c3e93a16","datavalue":{"value":{"text":"The locally free relatively filtered diagram as an inductive completion of a system of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1353445$97E2756B-0BA1-4091-97ED-9497502C0E5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aae65c25dcf0ed9fd8f6df98f33ca1657c9e49ac","datavalue":{"value":"0869.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$ACF03E19-FB43-412F-9BD9-B91AE8048050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a89f672d56ea8a52cdf62d21c1e946a4818da31","datavalue":{"value":"10.1023/A:1017905523464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$B899909F-AF91-464B-A4A5-0EE87D9CA649","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bad4470e9036b96d0d0e1705f15be753c6555ea","datavalue":{"value":{"entity-type":"item","numeric-id":1353441,"id":"Q1353441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353445$92E05CA1-80C3-42D4-82C8-245866BDA34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16fb95b27e3676c792d47644368b48efba43af09","datavalue":{"value":{"entity-type":"item","numeric-id":1353442,"id":"Q1353442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353445$7215948C-D65B-4CAB-B924-938DF234C25F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353445$37437C4E-C45F-4BF2-AA3F-31626FF3E6C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28b9596eafbe4f7af330e206cbe61b9813bd2dea","datavalue":{"value":{"time":"+1997-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1353445$29140848-1BE3-4AA7-B45F-03D4EE6FDDE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc9d3ed813fa18db4219da17760fb1e07feba341","datavalue":{"value":"A functor \\(U:{\\mathcal A}\\to{\\mathcal B}\\) admits locally free diagrams (L.F.Ds) if for any \\(B\\in{\\mathcal B}\\), there exists a category \\({\\mathcal L}FD_U(B)\\), a functor \\(D^B_U:{\\mathcal L}FD_U(B)\\to {\\mathcal A}\\) and a projective cone \\(d^B_U= (B\\to UD^B_U(C))_{C\\in{\\mathcal L}FD_U(B)}\\) such that for any \\(A\\in{\\mathcal A}\\), we have  \\[ \\text{Hom}_{\\mathcal B}(B,U(A))\\simeq\\varinjlim_{C\\in{\\mathcal L}FD_U(B)}\\text{Hom}_{\\mathcal A}(D^B_U(C),A). \\]  It admits locally free relatively filtered diagrams (L.F.R.F.Ds) if moreover for any morphism \\(h:B\\to U(A)\\) in \\(\\mathcal B\\), the comma category \\({\\mathcal H}\\downarrow h\\) is filtered, where \\(H:{\\mathcal L}FD_U(B)\\to (B\\downarrow U)\\) denotes the functor assigning \\(d^B_U(C): B\\to UD^B_U(C)\\) to \\(C\\). The paper provides a new constructive proof for the existence of L.F.Ds in which the effective part and the non effective part are well separated, for some sketchable functor \\(U\\). Moreover, it shows that they are L.F.R.F.Ds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353445$77391B53-D399-4BDC-AC01-8E806FB14909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$1F303BF1-BB55-40DB-B6AD-314A13D6B3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$06EC3A18-12D0-4574-B2A6-F3F227AC25E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$F1BAA7B2-073B-4123-89EC-1C0757D6A158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$1FF5F2BB-F1B8-474F-84B0-3993C31AC858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$F9613FD7-13A6-47F5-957A-4E658F84C2F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a9d2a6bdc24a2a4334d25815b668b839ad82d9","datavalue":{"value":"1005452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$85592909-32C7-402B-8908-3BEC03A786FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701728930a4c5b13765f86d7a3f446269b6f687a","datavalue":{"value":"locally free diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353445$102FF011-71C0-4A34-B444-FAB6E9D4D130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77bcdbc262cfc5e00df5e07b597deddf25a870ac","datavalue":{"value":"locally free relatively filtered diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353445$2DB73559-2110-474A-8F21-4726F87D7309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c70af952fc9e41d16d81e7348cc8412e84557151","datavalue":{"value":"comma category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353445$3DB9A2E7-0C48-49DE-867B-667F1F85A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e99b30318f0753c246a826cdf4110a2e52267ee","datavalue":{"value":"sketchable functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1353445$0E15175F-1D53-4167-8842-88EF0D90EC45","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1353445$A6B4F98F-FCDB-48CE-85A4-7A4F842F95EC","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":"Q1353445$F075D6BD-8287-4851-9FCC-1A58BB945448","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af832348943b4b4543d7a76a5320f81067833f2e","datavalue":{"value":"https://doi.org/10.1023/a:1017905523464","type":"string"},"datatype":"url"},"type":"statement","id":"Q1353445$639A6191-2221-41C1-A9B8-4C1A983BDBBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ff441c1d38acee4b60f15b4b509ee3ea2869b6c","datavalue":{"value":"W29497693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1353445$81A705B5-01F0-456B-A1FC-A230D48A1DF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb972dfc3ccf8480c9bb7e9b91ca96d3ece667a","datavalue":{"value":{"entity-type":"item","numeric-id":4723928,"id":"Q4723928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c224f2d6deaf6e2c0e24c8f2dc39e1182023e944","datavalue":{"value":{"amount":"+0.7505331635475159","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":"Q1353445$6160ACFD-2F71-49D9-8C70-2DB0C781A24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd50b2744c7a58a5d82f354bea74b79f910d9b0a","datavalue":{"value":{"entity-type":"item","numeric-id":3686864,"id":"Q3686864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac2cb4015d34ad5e8cb144f7d2ce9db96b68119","datavalue":{"value":{"amount":"+0.7033257484436035","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":"Q1353445$A84522DF-2BB9-4C34-8EE6-61654D5369C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88805f79a07536b2edafc4ff44b653509654b52","datavalue":{"value":{"entity-type":"item","numeric-id":4298693,"id":"Q4298693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36bc105506628595da8c96b296a174ac4211953","datavalue":{"value":{"amount":"+0.6989602446556091","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":"Q1353445$E0B35611-BCB1-44EB-89C7-059C752ED50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5404bed8371bea6319ae9190db831e061348f5ce","datavalue":{"value":{"entity-type":"item","numeric-id":2577772,"id":"Q2577772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09d96244fa2f72d2dc53c27f29ca060f97ae660","datavalue":{"value":{"amount":"+0.6927176713943481","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":"Q1353445$78BFD924-7AED-4331-B8C6-376C23B33B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c30aecce8fcc59e305adb0dc1457c4f4f07947e","datavalue":{"value":{"entity-type":"item","numeric-id":1610274,"id":"Q1610274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5541a01d67ac6d9f38d1d37e2b701571a65da7","datavalue":{"value":{"amount":"+0.689232587814331","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":"Q1353445$5342767A-F787-4E0B-9939-E8FB61DB908D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1353445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1353445"}}}}}