{"entities":{"Q5931465":{"pageid":8108267,"ns":120,"title":"Item:Q5931465","lastrevid":97627265,"modified":"2026-06-05T15:07:17Z","type":"item","id":"Q5931465","labels":{"en":{"language":"en","value":"A note on effectively projective objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1591138"}},"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":"Q5931465$B7EE32C5-CDAE-4318-8A9F-9CF9F3CA7BDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbc91ace79e6ac680b9daf33d9c7096956d08d28","datavalue":{"value":{"text":"A note on effectively projective objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5931465$58D357F5-71FE-46CF-ADA0-856CD5532886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df5c478ff3d786a8d5c29cacb1658d2403a8337","datavalue":{"value":"0971.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$0882B62D-A3D5-420F-B834-D15BAFE72ABC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17163810f24402e1b5db2d5600e5c9ae9c3e81fc","datavalue":{"value":"10.1016/S0022-4049(00)00025-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$E08E99A7-61B7-429C-BFCA-56BAB9151FB9","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":"Q5931465$C430725A-0E59-4936-9E07-71EC6F865222","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e17094de8cf838e27ad4e0e49440bb0f627c7fe","datavalue":{"value":{"time":"+2001-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5931465$189A92DE-76DA-410B-B24B-F486C1AA7DA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd706ec53c48f0651289bcf80952faf483598296","datavalue":{"value":"An object \\(P\\) in the category \\(\\mathcal K\\) is said to be an effective projective if \\(\\mathcal K(P,-)\\) preserves coequalizers of reflexive graphs. The following conditions are equivalent for a category \\(\\mathcal K\\): (i) \\(\\mathcal K\\) is equivalent to a (finitary, multi-sorted) variety; (ii) \\(\\mathcal K\\) has finite limits, there is a strong generating set \\(\\mathcal P\\) consisting of finitely presentable objects, \\(\\mathcal K\\) has all sums of objects of \\(\\mathcal P\\), effective equivalence relations and the objects in \\(\\mathcal P\\) are regular projectives; (iii) \\(\\mathcal K\\) has finite limits, there is a strong generating set \\(\\mathcal P\\) consisting of finitely presentable objects, \\(\\mathcal K\\) has all sums of objects of \\(\\mathcal P\\), coequalizers of equivalence relations and the objects in \\(\\mathcal P\\) are effective projective (theorem 3). If \\(\\mathcal K\\) is a locally finitely presentable category with \\(\\mathcal C\\) the full subcategory of finitely presentables, then \\(\\mathcal K\\) is a variety if and only if \\(\\mathcal C\\) has enough effective projectives (theorem 4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931465$EA0C6A9E-67DE-4B04-88AC-49E0CA781383","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7b629bd6c01279cf76e38566bec4dd1f2f808489","datavalue":{"value":{"entity-type":"item","numeric-id":170557,"id":"Q170557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$1C5DE829-4DF1-4DAF-A1FD-AC8BB1A7D356","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ab82a73b1a87efe2ffd619938c9fe2897943f8b","datavalue":{"value":"18G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$BD718652-A392-49E5-B592-72F88D53D3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$2B6A8F52-E853-4CBD-8FCF-ACCEB6BE4561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$74F8F975-ED46-4353-BC7D-6DCDF922516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$BA6C70A6-2382-433D-BFB3-086DEE920090","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bef7f58ef59c414131eb3e1bffaa1ce0492756","datavalue":{"value":"1591138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$C7B6EB26-9251-45F3-B98D-FE7CFEB6B420","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5749615696113376564ab11300a934bc51c17ae9","datavalue":{"value":"effective projective","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931465$29409BB5-ECEC-4474-8D8B-B2E817C41A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f32b07e31458c88354a78432c6e2fbc0b3f7d2","datavalue":{"value":"coequalizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931465$F2C1A8AD-2DDB-47AD-B8C7-B8733AD71754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53c7bbf1bc480f853b8d5ec6251bd306122a248e","datavalue":{"value":"reflexive graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931465$0093835B-4177-4240-B376-341F7AEE033D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5931465$D714E2A5-8386-4A0B-B22B-9384AB6CD738","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":"Q5931465$F69897BA-768D-41D5-9E2A-A5DE96F3A765","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e83f801d6f72f3f48fbcddc63270f22c523cb78","datavalue":{"value":{"entity-type":"item","numeric-id":1295689,"id":"Q1295689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$7821B691-E755-4825-8A6F-2035038D8077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$FF386ABD-B4E2-4F11-B797-B1DE0E9A473B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$B92DF9F6-C14F-4764-8E65-20F4B504595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a68a006e69ca7d4db71de1aac108cb7722819e","datavalue":{"value":{"entity-type":"item","numeric-id":1593791,"id":"Q1593791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$C12586EB-9849-4BC4-8C58-1F784762CEC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b90a1b0d3068a630246b3da409754847aeae532c","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(00)00025-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5931465$5707BCC0-F227-4D9C-88F8-A1878C7D1086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43fc8a2fdbcf43c0f7b23cce18ec0d2abf3c317a","datavalue":{"value":"W2072013445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5931465$CDB83530-F801-4D89-AD2B-1831A8D1581C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b8d65d48db39417cf83e89244a5c793058e3fca","datavalue":{"value":{"entity-type":"item","numeric-id":1085263,"id":"Q1085263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$157A9B45-7076-410F-9A49-CCC2AB064FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768eb84f904cea244496fad91b6f670d4cc635cc","datavalue":{"value":{"entity-type":"item","numeric-id":633804,"id":"Q633804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5931465$A7C33E12-8EC2-49E0-B05C-44702DAD9436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e39e876434939383466556772dad671de8214a4","datavalue":{"value":{"entity-type":"item","numeric-id":1593791,"id":"Q1593791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df72e3748bf4aacd36f4aa95baf63acc85312cc7","datavalue":{"value":{"amount":"+0.8290820121765137","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":"Q5931465$7E0BA178-40E3-4E36-8552-D7975AE4A0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdff451a341b937e651b251d44488ffdfe32637","datavalue":{"value":{"entity-type":"item","numeric-id":3614498,"id":"Q3614498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f482455bb3c2d7edea7adc3390de551edacb9a9","datavalue":{"value":{"amount":"+0.8266155123710632","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":"Q5931465$0B87E10A-6E50-43FC-9537-A02FB6CEC24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a68044442dba7c88e364ad4be32f388437727cf","datavalue":{"value":{"entity-type":"item","numeric-id":4896512,"id":"Q4896512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf8e7b4dfca971ee9e7bd55bc383454b5f53a1b","datavalue":{"value":{"amount":"+0.7702005505561829","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":"Q5931465$C462DB45-B708-4BE8-A16D-426FB1940F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91efacdff5468c5b57bdfc0ac8587be4e92f5b04","datavalue":{"value":{"entity-type":"item","numeric-id":4506384,"id":"Q4506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6eb59cd2f6c0901423e43a3d32ddcb3e4812d9","datavalue":{"value":{"amount":"+0.7694463729858398","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":"Q5931465$150878D0-656B-4FCD-A1EC-F666B8364E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89977900b1d4b281ac201bc797dd37557c9141b3","datavalue":{"value":{"entity-type":"item","numeric-id":1866815,"id":"Q1866815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b90d4250cbc24f09d51270c091215749cdd36f5","datavalue":{"value":{"amount":"+0.7665387988090515","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":"Q5931465$983F3509-CA6A-45B8-95D8-E09EE09A7349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on effectively projective objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_effectively_projective_objects"}}}}}