{"entities":{"Q1732881":{"pageid":1743622,"ns":120,"title":"Item:Q1732881","lastrevid":74315754,"modified":"2026-04-14T19:30:12Z","type":"item","id":"Q1732881","labels":{"en":{"language":"en","value":"Pseudoalgebras and non-canonical isomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7041646"}},"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":"Q1732881$F8D68C13-EF78-4202-ADDA-C85423180972","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d76506ee46a63af9ba2ce2d5d1a2d88ede436b","datavalue":{"value":{"text":"Pseudoalgebras and non-canonical isomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1732881$09A68EA6-DAE1-4CE9-971B-A447555DCFCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0391f0a2ad3e823ed3036655c546abb7c415d2f4","datavalue":{"value":"1411.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$50327B71-F176-4846-BBB6-9D370151399B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db1e1884d61d837aefbe70d98b51ff528dfe9cef","datavalue":{"value":{"entity-type":"item","numeric-id":1732880,"id":"Q1732880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$565CFAEB-323B-4FCF-8BC7-EB150195C3D6","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":"Q1732881$1613D556-0A56-4C61-9B21-4411E9C57D95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfc89e0691971f150a056ea0f5818e0095a2cc76","datavalue":{"value":{"time":"+2019-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1732881$0B99E324-0723-4F60-B0D0-C80B8AB6D461","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ca392d8f6ba0f1d32350119d6dcec27c540a826","datavalue":{"value":"https://arxiv.org/abs/1711.02051","type":"string"},"datatype":"url"},"type":"statement","id":"Q1732881$D1B4681E-A88D-4F39-95BC-2C45E18E85EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"099006349c8431a7ee963a720dcc9006987b9dfb","datavalue":{"value":"The problem of non-canonical isomorphisms lies in investigating whether, in a given context, the existence of an invertible non-canonical transformation implies the invertibility of the previously given canonical one. Two-dimensional mondal theory [\\textit{S. Lack}, Adv. Math. 152, No. 2, 179--202 (2000; Zbl 0971.18008)], [\\textit{F. Marmolejo}, Theory Appl. Categ. 5, 91--147 (1999; Zbl 0919.18004); J. Pure Appl. Algebra 194, No. 1--2, 169--182 (2004; Zbl 1055.18002)] gives a unifying approach to several aspects of two-dimensional universal algebra [\\textit{R. Blackwell} et al., J. Pure Appl. Algebra 59, No. 1, 1--41 (1989; Zbl 0675.18006)], [\\textit{G. M. Kelly}, Lect. Notes Math. 420, 257--280 (1974; Zbl 0334.18004)], [\\textit{F. Lucatelli Nunes}, Theory Appl. Categ. 31, 217--256 (2016; Zbl 1359.18003)]. The principal objective in this paper is to address the problem of non-canonical isomorphisms from the standpoint of $2$-dimensional monad theory. It is shown that, given a pseudomonad $\\mathcal{T}$ on a $2$-category $\\mathcal{B}$, a lax $\\mathcal{T}$-morphism $f:y\\rightarrow z$ between $\\mathcal{T}$-pseudoalgebras is a $\\mathcal{T}$-pseudomorphism iff there is an $f$-isomorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$6CF802F8-CA4F-4CB7-8A6E-11396FDEB2B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$96794C40-A845-4D2E-9AF0-DC55C4F5DCEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$62F451A7-F3FF-4931-AA5E-B4BC21436375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$AA6D842C-FA97-4443-B35C-3D622394F16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$82D7900F-2CB5-48A4-9787-E75F0436B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$89B5C6AE-0DA5-4510-B684-4B42A9FC974F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c2532d625f4ff3d5e0edd1d956d4e89feaea92b","datavalue":{"value":"7041646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$5EEDE662-484D-4D78-A1B0-1E2BDE0C0ECE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07466b577bdda1fa259d1bf2c0e1cd1c82635d82","datavalue":{"value":"pseudomonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$1E01AF4F-FB1C-4536-B5E8-62003D7074F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e9d4b21f578ea5227a1fa26b6deb3a570e954d","datavalue":{"value":"Lax morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$679B1B78-9E82-414C-97C3-2320FF2BDDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b31b86983d94c2138072eb5368df151a567ea5cf","datavalue":{"value":"monoidal functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$7FE53F75-48F7-45EF-A227-CB6BA4718863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872f1748e87ccdb4af6ad10092f645fcd0b49799","datavalue":{"value":"braided monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$5BC5C62D-4B3A-4511-B33C-A31350D1A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075340bb916e66c564827d05a39e847ee8fb4a09","datavalue":{"value":"canonical morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$3041FBFD-BE0B-4DB7-91BC-9FB54799D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"805058c5e62f4b9a0f5ed4c061b09e791ecdd5bf","datavalue":{"value":"two-dimensional monad theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1732881$CE6F3077-98C1-4950-B32F-323D04A34C69","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":"Q1732881$77E34812-4642-435F-825C-D5602247E97C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ae187c2eb652222e4abde26db0c215fec0ab8a4","datavalue":{"value":"W3104641008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$D91F28AD-7E81-4363-963B-18072D4B3D8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$822D80B8-7759-4742-9985-A00E9FB04992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e868a5c7cbd636fbef399510a387c88bc5a5391d","datavalue":{"value":{"entity-type":"item","numeric-id":2849875,"id":"Q2849875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$567BC5EB-4A9F-42FA-8A71-359E01BFD978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12df4a00ffad5a72297abab8aafb272f938bdeed","datavalue":{"value":{"entity-type":"item","numeric-id":2359936,"id":"Q2359936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$0EA60170-DC34-40AB-B40C-39DE8F418938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d18d8430b188e5969cb1d2a330f0542e59f413","datavalue":{"value":{"entity-type":"item","numeric-id":4100657,"id":"Q4100657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$71ABB999-D9EE-4B1F-BE0A-431212EF8A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80beebe0551a3dd2b5abe7efaa241736fdce2b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4380422,"id":"Q4380422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$676A23A7-6286-470A-BB3D-3A7A1881F59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e136e147ff246cbd0c9ffd781b45ee256b6e9af1","datavalue":{"value":{"entity-type":"item","numeric-id":4487535,"id":"Q4487535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$474DD24C-06DD-428E-842C-DBF6577C7D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909993d72fefe567d67491e498a56c66e5f1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$EB5210B9-C97F-4F7C-8F3F-CE717B68D865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8f04b427550397c14fd1a0b6682478cec17e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1578071,"id":"Q1578071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$074DECAD-DD26-4825-9EDA-AC540762528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b1f168bdceb7a32e03adab6cdb14fbd69a02ec","datavalue":{"value":{"entity-type":"item","numeric-id":418912,"id":"Q418912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$5509748C-10FE-4B80-83CE-46CDBE08A69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cd055855a52cb931341000fcb26c82c5da8085","datavalue":{"value":{"entity-type":"item","numeric-id":2808145,"id":"Q2808145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$6A8CCD84-6670-4D3B-B284-5A627423900C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5240ae161c734f4a4cab6e94f8bcbf4dc0fdab8","datavalue":{"value":{"entity-type":"item","numeric-id":4553294,"id":"Q4553294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$E49BA7C0-FDB3-40A7-BFBB-0213BD5AD5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe31904192ed7f248b8ad7a21d5ee681c904b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4563239,"id":"Q4563239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$D121304F-E1F0-4E12-80D8-A0F26233643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43881feb463bdd750670d0a90e518e2232c0665","datavalue":{"value":{"entity-type":"item","numeric-id":4342436,"id":"Q4342436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$2C53885D-909C-426C-8AF8-596CEB56BCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fd745f9bcb0a49d34aeb6509962ebd3361dd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4238518,"id":"Q4238518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$38A0FDAF-35F0-4C04-91DE-4843E2481617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48147ca59eaaf6b90ac80559a4632dc7e1b672dd","datavalue":{"value":{"entity-type":"item","numeric-id":1584038,"id":"Q1584038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1732881$EA23789D-41F2-40FD-9BE2-F30A954C77CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49ff21eb505d87718a894c671f6366b7976b9878","datavalue":{"value":"10.1007/S10485-018-9541-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1732881$4D9417ED-10D8-4BAC-BA21-6DDE9C5B4346","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a17e6e8ab4c5c3417a97909efe6b460f630689","datavalue":{"value":{"entity-type":"item","numeric-id":418912,"id":"Q418912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08230d753e8b3d12202413434d5ced517375f56b","datavalue":{"value":{"amount":"+0.7500057816505432","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":"Q1732881$4511BE68-AF26-46A9-86BE-CF98F7DA642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118756e64fa79e24f93628aa8531b86575b20e3a","datavalue":{"value":{"entity-type":"item","numeric-id":664768,"id":"Q664768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7d30b7c50d999dee3f4dc8a739d7baaef5d77e","datavalue":{"value":{"amount":"+0.6788926720619202","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":"Q1732881$61115E23-B7A4-42F1-8342-A150779F2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5c8c51503cfda0d9b73aeee8bdc3eef5c68650","datavalue":{"value":{"entity-type":"item","numeric-id":2417748,"id":"Q2417748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfc0185415c281ef795a2cba566fc55aa4c3ab4","datavalue":{"value":{"amount":"+0.657650351524353","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":"Q1732881$47721768-D231-447C-BFA5-05625A6633B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cb89f1c740ff50e77caa5ab39422a0e5e5fb8d","datavalue":{"value":{"entity-type":"item","numeric-id":5150014,"id":"Q5150014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860a54e9016aff5fe40b1edb059db3da4a49d007","datavalue":{"value":{"amount":"+0.6547403931617737","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":"Q1732881$655EA076-01BA-4A56-9B62-174ABBBEB2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de5c72e2d80ca3025b0ec61365e9af41d9278a4","datavalue":{"value":{"entity-type":"item","numeric-id":278230,"id":"Q278230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a863e49bc7575c8934c876930dde5b28e8aa28a1","datavalue":{"value":{"amount":"+0.6491703987121582","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":"Q1732881$CDD95F90-4442-4050-88E7-AEDE2A44758C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudoalgebras and non-canonical isomorphisms","badges":[]}}}}}