{"entities":{"Q6564074":{"pageid":14175229,"ns":120,"title":"Item:Q6564074","lastrevid":55697962,"modified":"2026-02-17T21:15:00Z","type":"item","id":"Q6564074","labels":{"en":{"language":"en","value":"The Lambek invariants of commutative squares in a homological category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7873217"}},"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":"Q6564074$E2C855A4-3FDE-4CC6-88F2-BBD4EB97CD1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76d2d36d8f987e5f4ba8c6aa86804ce27a16f8e4","datavalue":{"value":{"text":"The Lambek invariants of commutative squares in a homological category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6564074$0EA7039A-AFE2-43CD-81F2-04AED9F62B17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aba302eecfcd3d4b26217d92c777e10ba7bb9074","datavalue":{"value":"1544.18016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564074$0F33037B-E8FD-44C1-9D7C-7C0F46100906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e735cd9d082d2e84b10c8236dfc6a8ce228c540b","datavalue":{"value":{"entity-type":"item","numeric-id":695308,"id":"Q695308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$C00845FD-219E-45A9-825C-DA2A63206192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a10861ea7b85a32772e61d543489adc07c99782","datavalue":{"value":{"entity-type":"item","numeric-id":6564073,"id":"Q6564073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$B1301156-BB44-4E3B-9679-78B7C195B5DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$A3CC5A25-D7DB-44E1-8D43-BC3CC8FED3C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b549ddd49c3820ae166e3a7aee3710d4e99c09b","datavalue":{"value":{"time":"+2024-06-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":"Q6564074$E8982BA5-8634-4A01-B8CA-42FEA44DFB2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f85a8b814ace67a797399cf7d29445b01c6b817b","datavalue":{"value":"Given a commutative square \\(S\\)\\N\\[\\N\\begin{tikzcd} C\\arrow[]{r}{\\alpha}\\arrow{d}[swap]{g} &D \\arrow{d}{f}\\\\\\NA \\arrow{r}[swap]{\\beta} & B \\end{tikzcd}\\N\\]\\Nof groups, then the classic Lambek invariants of \\(S\\) are \\[ \\operatorname{Im} S := (\\operatorname{Im}\\beta\\cap f)/\\operatorname{Im}(f\\alpha) \\;\\;\\;\\text{ and }\\;\\;\\; \\operatorname{Ker} S := \\operatorname{Ker}(f\\alpha)/(\\operatorname{Ker}\\alpha\\cdot\\operatorname{Ker}\\alpha). \\] Given two commutative squares \\(S\\) and \\(T\\)\\N\\[\\N \\begin{tikzcd} A\\arrow[]{r}{f}\\arrow{d}[swap]{a} &B\\arrow[]{r}{g} \\arrow{d}{b} &C\\arrow{d}{c}\\\\\\NA' \\arrow{r}[swap]{f'} & B'\\arrow{r}[swap]{g'} & C' \\end{tikzcd}\\N\\]\\Nof groups with exact rows, then a 1964 theorem by Lambek says that there is a natural isomorphism \\N\\[\\N\\Lambda\\colon \\operatorname{Im} S\\xrightarrow{~~\\sim~~}\\operatorname{Ker} T \\N\\]\\Nwhich is nowadays called the \\emph{Lambek isomorphism}. Using pullbacks and pushouts, the Lambek invariants can been defined in more general categories and also the Lambek isomorphism can be shown to hold under suitable conditions. In this paper the latter is established for so-called homological categories in the sense of \\textit{M. Grandis} [Homological algebra. The interplay of homology with distributive lattices and orthodox semigroups. Hackensack, NJ: World Scientific (2012; Zbl 1280.18001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564074$094AC8F9-5686-4D0D-8056-71EF080452CD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b82a2149c001babec5c9e04ca720c4e09b4b841c","datavalue":{"value":{"entity-type":"item","numeric-id":497357,"id":"Q497357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$1CA633E1-7A6E-454D-9B1E-9230BF7242D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40623867f27d5837b7d9156c695c2c009a8863e2","datavalue":{"value":"18G50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564074$2459C2A8-E121-4EFB-B941-7BEDE9A4FB62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d1140cfe3de7ff663d575c122802cc5075fd0b5","datavalue":{"value":"7873217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564074$DA183BED-ED97-476A-83B0-C062468F9831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31aeff5b5d5e93f85a59ab790edadd0fc02c92a8","datavalue":{"value":"Lambek isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564074$18736764-3950-4514-8480-CECEC8199113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0f9e6a5fa89385160cebb4bfa76dad1791efb3","datavalue":{"value":"homological category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6564074$73641A8A-3769-42BF-9933-7902C1A3A285","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":"Q6564074$16148252-7CA4-43FD-8C5E-FE327F763213","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"964c4d5b14b06a83b3685924ed2d2036600d4841","datavalue":{"value":{"entity-type":"item","numeric-id":5737119,"id":"Q5737119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$EE7BE423-54D5-4C89-91C7-596BE3B9391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4149d78ee9e32af83e2ad803f17d0585a43b27","datavalue":{"value":{"entity-type":"item","numeric-id":5737120,"id":"Q5737120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$A0ECDACF-7BBF-4732-B0E2-4488DCCC9BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53c397c85601a62dbb93acf3dffc7e7ed765cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2553670,"id":"Q2553670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$EBF876A5-B16A-4B88-B5E6-FB862D80E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90569a2899418e6a2d52a5351975ab5a111dd1c4","datavalue":{"value":{"entity-type":"item","numeric-id":3412703,"id":"Q3412703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$C66FF484-057D-4CA6-BAAF-F84001DC5F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794efceb7ef0a7ba5b1720f9d1cb17c7c339099d","datavalue":{"value":{"entity-type":"item","numeric-id":4018179,"id":"Q4018179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$CD84AE74-E756-4355-A542-5F66A841CEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0380ca65ce023360e69245872309b397f99c1095","datavalue":{"value":{"entity-type":"item","numeric-id":4912856,"id":"Q4912856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$E29083D3-A543-4B3D-A11B-63A40F6E6C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2943e0c6bb3f84e69261ed34e6dc45cb8e54e15c","datavalue":{"value":{"entity-type":"item","numeric-id":5382905,"id":"Q5382905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$8FE0CE52-23F3-4E12-8775-8439A7CA2CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7592a8b87c4c3fb89ea80491ae7587321874345b","datavalue":{"value":{"entity-type":"item","numeric-id":2689187,"id":"Q2689187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$B834C483-0E03-4641-8274-798C949AC098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32998af7695f2b11abb42bba57a47678d4a7a36f","datavalue":{"value":{"entity-type":"item","numeric-id":695309,"id":"Q695309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6564074$5A3BE116-EBB1-4A17-AF81-92DD2AD488EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"322609711ce8c42f836d4fdfd602aac9bc84414f","datavalue":{"value":"10.1007/S10958-024-07024-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6564074$A242BC5C-6445-40AC-BFCF-92C6E3327A2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbafc0646b5d6c50472e7a0900b4a191f59130b","datavalue":{"value":{"entity-type":"item","numeric-id":2676816,"id":"Q2676816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d257192b598f346919c2a03563a9bf4ae9194e76","datavalue":{"value":{"amount":"+0.8627855777740479","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":"Q6564074$4932AD04-2D89-4B05-B572-D24F9F20DCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d479ed10df2ac809cefa20ab364068e6f3d40b0f","datavalue":{"value":{"entity-type":"item","numeric-id":3412703,"id":"Q3412703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50c97f33ef8547453bbf487b47b0e00eb07b2cd","datavalue":{"value":{"amount":"+0.7974140644073486","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":"Q6564074$7D8608CC-F85E-4AB4-A6A1-4800FFA6D457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d03d303cc44307ae6c97e438a4907b7a07c4b5","datavalue":{"value":{"entity-type":"item","numeric-id":912968,"id":"Q912968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cba8f9ea0fc97f251f2479888f21cca7191dcaa","datavalue":{"value":{"amount":"+0.7347875833511353","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":"Q6564074$A125E36E-2662-43B6-BD4D-C1795E43D4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"106541be7e23e131e0c6e5a7f0ff886d4c2dfa19","datavalue":{"value":{"entity-type":"item","numeric-id":2899934,"id":"Q2899934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae6550c5b3ca8b4103955cc91818527246d496c","datavalue":{"value":{"amount":"+0.7117124795913696","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":"Q6564074$6C7FC217-4601-4AF8-AEAB-FDC540FCAE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4059c0aa9515e803b05ed523bfd9635e65d40d","datavalue":{"value":{"entity-type":"item","numeric-id":2886190,"id":"Q2886190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248f2e7a09f53e27631bb81eea62f7f48c620740","datavalue":{"value":{"amount":"+0.7088906764984131","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":"Q6564074$90D2E5BC-A16A-4228-8207-CAF508D18511","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6564074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6564074"}}}}}