{"entities":{"Q1087629":{"pageid":1098381,"ns":120,"title":"Item:Q1087629","lastrevid":77748431,"modified":"2026-05-06T09:58:22Z","type":"item","id":"Q1087629","labels":{"en":{"language":"en","value":"On the scarcity of contravariant left adjunctions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3987527"}},"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":"Q1087629$5A4674F6-46B0-47D8-BC8F-5AA355E9ABA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"839a0db9141917f74089c165dacc058adb4b2d09","datavalue":{"value":{"text":"On the scarcity of contravariant left adjunctions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087629$BB2965D5-FCCF-495F-8557-CF26AA2483DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8bc1fb2f52a5b0207a0ee9a648b7d68976b821c","datavalue":{"value":"0611.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$4B408139-A964-4AE1-8AB4-3B0FEE6CB212","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"145c0231136e851c4990250053877a44b8ee22c3","datavalue":{"value":"10.1007/BF01188394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$F6E28043-B46A-43E9-92F3-07FAD79FFE71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1204aadee02121ad3182e79e1036605f581a6e","datavalue":{"value":{"entity-type":"item","numeric-id":351796,"id":"Q351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$69BB40B9-6E50-4EE6-98E5-B7BFCC0BFC44","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":"Q1087629$498EFA52-F437-4BA5-A2AC-C365B5EA1FD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1087629$9A13F634-93C8-49B4-B945-B91269C8358F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"520cb470204bb7637e8dc03fa727764dff888487","datavalue":{"value":"Although adjoint pairs of covariant functors (one left adjoint and one right adjoint) between varieties of algebras, and pairs of mutually right adjoint contravariant functors, are both familiar entities, it is shown in this note that any pair of mutually left adjoint contravariant functors between varieties of algebras C and D must be fairly degenerate; specifically, it must factor through the retractions of these categories onto the complete lattices of epimorphs of their respective initial objects.    The proof is based on the observation that a left adjoint contravariant functor turns limits into colimits, and in particular, products into coproducts, but that the canonical morphism from an infinite product algebra \\(\\prod _{I}A_ i\\) to the reduced product \\(\\prod _{F}A_ i\\) with respect to the filter F of cofinal subsets of the index-set I has properties which cannot be duplicated for a morphism into a coproduct algebra, unless this morphism is quite degenerate.    The result is first proved for varieties of finitary algebras, then generalized to possibly infinitary algebras, and to quasivarieties as well as varieties.    On the other hand, some examples of contravariant left adjoint functors between the full subcategories of finitely generated or otherwise restricted algebras in certain varieties (e.g., the duality of finite- dimensional vector-spaces over a field, duality of finite abelian groups, and the duality between finite sets and finite Boolean rings) are examined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$02AC1A90-2EC2-4900-B7AF-847B7DF497D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$D67B3BDF-2278-4FDD-9A29-E4D74B4A586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$3CD1BED1-9B7D-4FA2-8FA4-8A2255F8B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$7D8F65FA-86D4-44A4-9E30-6ECB4C1253AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$D69E6D27-584F-4299-98B4-9CB4D95E7EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99e9201b472e6ef8424f6577ae668787362da2ae","datavalue":{"value":"3987527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$EE0B9042-F57C-477B-A26C-BFB254329754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb231c805bd7a1d73bb84bf8849bcae2b0e544c","datavalue":{"value":"adjoint pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$C030E6DE-2B8D-4241-BEF7-225D03EFBF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0144df53f259f0a1c29a7477a54d5b449e0b8795","datavalue":{"value":"covariant functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$06A9E930-EEC7-453D-A325-6000FF46F7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e27884c9bad9d0432d4d60f986dd668859f8b4","datavalue":{"value":"varieties of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$9B093B99-FD62-4B38-BDD9-7B200F5BD672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"547f895afa2bd1242fa206ca40218c4d2758321f","datavalue":{"value":"mutually left adjoint contravariant functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$F986CAFF-7471-430A-9F16-947B7BC4F910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffbacdc4f13a9ba216bc5171642af51f390309e4","datavalue":{"value":"infinite product algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$2151399E-205C-46EA-A155-F8FC93B13BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20c5129ca511846c06962a5e158b68550c0cf7e4","datavalue":{"value":"quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$923CE1AF-5B38-48B4-BA69-97253469868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2288de0b75809db77e94e2018ee2f7fca368bd99","datavalue":{"value":"finitely generated algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087629$326B5254-505E-488A-9064-AB09DF733BE7","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":"Q1087629$4E864686-D89F-41E7-A78F-9D6B6BAA78B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"689cd1cc8ed8792f7a6af74a2598b4d786d41cec","datavalue":{"value":{"entity-type":"item","numeric-id":5788426,"id":"Q5788426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$13D10BA8-B952-4AF8-A322-997EBCD8E94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f7d12b94d7f2d80eddb8cb3738859c6cf7b8e7","datavalue":{"value":{"entity-type":"item","numeric-id":583355,"id":"Q583355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$CACFE827-C7BD-4DB6-96AF-19497D45CDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6a8aa63dfc0ef6c207a8c47cbfe4783b7b3d83","datavalue":{"value":{"entity-type":"item","numeric-id":1226512,"id":"Q1226512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$E6BC67B1-304C-4402-8F60-EA911F857540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa82f404ae3d3ce9685fcb02ed800e9481ad6f8","datavalue":{"value":{"entity-type":"item","numeric-id":2551280,"id":"Q2551280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$858F921B-E3A0-4B73-85F7-AA6E2A9D4A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaaecf3b9ff8fab1bd2cd7c378b6b38aa41480d","datavalue":{"value":{"entity-type":"item","numeric-id":5534978,"id":"Q5534978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$5FDC3E64-6C41-4D53-97F5-D728D4478F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f170be6c8c259522a974cddab4c45096dd1d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":1100290,"id":"Q1100290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$C81D4CC1-9547-49C2-87FF-313D10869E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fbe8eda433fc66e93fb2621e5107f8cb3e77eb","datavalue":{"value":{"entity-type":"item","numeric-id":5519923,"id":"Q5519923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$B8887DA8-1E2B-4A1B-BBA0-8A7AF2E06D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e847304852b59475b685e7ecc7ee966cd66b0d","datavalue":{"value":{"entity-type":"item","numeric-id":2544203,"id":"Q2544203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$5FEE7937-A22A-4E55-B2A9-2A9DC4AB9348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c662645361c0d1b33b44c6668eee818942243e","datavalue":{"value":{"entity-type":"item","numeric-id":5589330,"id":"Q5589330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$36218FAC-BB0A-402A-9BD5-7C3E0DC771DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23d2186eee06bf83f524a70461cf781eb7579a3","datavalue":{"value":{"entity-type":"item","numeric-id":5569554,"id":"Q5569554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$E82B40AA-9113-4CF0-9E4E-7C9DE2392D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e5bb77d0321c5eef3825f7b9b2844c4bed38b1","datavalue":{"value":{"entity-type":"item","numeric-id":1845756,"id":"Q1845756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$674D47D3-26E4-460C-8967-11BE752F31E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ea9538cb979eef22f978025855228e403a6819","datavalue":{"value":{"entity-type":"item","numeric-id":1229240,"id":"Q1229240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$E6DC9CBE-0A48-451B-A03A-365A2A6C49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41904df0fa1ea8e219dc3231404b7a48069a5c57","datavalue":{"value":{"entity-type":"item","numeric-id":5599205,"id":"Q5599205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$D9F45B30-1C8A-4275-A33F-C218D51693A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fc495543710fa6dfeeabf64a240c710cf42c85","datavalue":{"value":{"entity-type":"item","numeric-id":3760532,"id":"Q3760532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$98A9B5BC-A4FD-4CF7-8290-8EC81CEDD81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9990ab53676ce82206bee6b215cf08d74ea92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5579534,"id":"Q5579534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$92DBD979-A7F9-484E-AD77-93A5C0922313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0e123ec24714b514ce5814fb31537d879816b0","datavalue":{"value":{"entity-type":"item","numeric-id":2531627,"id":"Q2531627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087629$B7A73C22-D2CE-4F0D-BDD0-6AB26A88C2B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b64e0d0459b3662f931a44a617b6d7275422a0","datavalue":{"value":"https://doi.org/10.1007/bf01188394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1087629$8D6F8F1D-D0D0-4DC1-95B8-D80EFD4B9759","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30c5011061674d811bd0cc0f5b94433a53db156f","datavalue":{"value":"W2081975202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087629$70567852-B6D2-4490-98DC-74901EFA8337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000fc4c15cdbfc9bb99c57dffc5971df35496028","datavalue":{"value":{"entity-type":"item","numeric-id":2762291,"id":"Q2762291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef68abfc69fe538c43ffe5cbcbc5c89c15f41c74","datavalue":{"value":{"amount":"+0.7908545136451721","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":"Q1087629$4FB9D97F-C1E4-4C62-B33E-E4DC21D0B4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64d5e2e1c5e3e84e861d3b3af249c1ce643cafb","datavalue":{"value":{"entity-type":"item","numeric-id":3976466,"id":"Q3976466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e2aaaa18dde75893b0e0db879516e8bf51939b1","datavalue":{"value":{"amount":"+0.7666959166526794","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":"Q1087629$548A9464-3B39-48A0-87F6-DDA932F9D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f9f0e3d260d645bbe66bbaca976452e4ab5506","datavalue":{"value":{"entity-type":"item","numeric-id":4848338,"id":"Q4848338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90223cc1bb0eed510afc602f1372ff3aedb27c5a","datavalue":{"value":{"amount":"+0.7660411596298218","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":"Q1087629$263454B5-5342-4FF8-94FE-FC4BD8E62A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fc8b02dd358846012d5cf7898cc676745e7dba","datavalue":{"value":{"entity-type":"item","numeric-id":3408018,"id":"Q3408018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176f4b02deb19cbb448761b48b5d5e1df03ec2c2","datavalue":{"value":{"amount":"+0.7608157396316528","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":"Q1087629$41E82AAC-AD0A-4BF1-A2D7-C267D1CFDF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7416b7a467a4ef511defdbe32748f1e1f601fd76","datavalue":{"value":{"entity-type":"item","numeric-id":3322278,"id":"Q3322278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5f49eab0331f187e73e9eb048568910641d6d3","datavalue":{"value":{"amount":"+0.7535936236381531","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":"Q1087629$63359BDE-F6A1-4F48-8616-6F0617B6B606","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the scarcity of contravariant left adjunctions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_scarcity_of_contravariant_left_adjunctions"}}}}}