{"entities":{"Q664768":{"pageid":666617,"ns":120,"title":"Item:Q664768","lastrevid":63483135,"modified":"2026-04-11T13:28:09Z","type":"item","id":"Q664768","labels":{"en":{"language":"en","value":"Not every pseudoalgebra is equivalent to a strict one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6011381"}},"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":"Q664768$876A1737-BD79-4AF5-AA7C-091BFD4204F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90df58c32a44af68b90058b284aa994c332cf9f7","datavalue":{"value":{"text":"Not every pseudoalgebra is equivalent to a strict one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q664768$C3B76254-C7F6-4589-9996-41A0BC9165CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87c63135ae2348828d5306009a91b4e6702f199e","datavalue":{"value":"1242.18010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$896729C3-EEB1-48E8-B041-09BE971C4783","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec988e4b31ab0b3fd008867fb1fbedfd6f4bff","datavalue":{"value":{"entity-type":"item","numeric-id":246332,"id":"Q246332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$F5C63760-A6E5-4076-99B0-AABF12B3F7A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$F0EFAE5E-4BD2-4B8E-B6EA-738E564D8825","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dbc7b8b645134a5ef8ae89c64a2b1886d53abc0","datavalue":{"value":{"time":"+2012-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q664768$93FDD49D-B20B-421D-8900-66F6B59FFE4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"354b2572c6f13de799f4c10f705013514fd6478e","datavalue":{"value":"https://arxiv.org/abs/1005.1520","type":"string"},"datatype":"url"},"type":"statement","id":"Q664768$1F39D88A-9DDE-4E60-B2EC-B662AE5A5A59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2777ebb621fca755de4ad6200edfa58ed9db341","datavalue":{"value":"The context of this paper is that of \\textit{R. Blackwell, G. M. Kelly} and \\textit{A. J. Power} [J. Pure Appl. Algebra 59, No. 1, 1--41 (1989; Zbl 0675.18006)]. For a 2-monad \\(T\\) on a 2-category \\(\\mathcal{K}\\), it is often the case that the inclusion of the 2-category \\(\\mathcal{K}^T = T\\text{-}\\mathrm{Alg}_s\\) of (strict) Eilenberg-Moore \\(T\\)-algebras into the 2-category \\(\\mathrm{Ps}\\text{-}T\\text{-}\\mathrm{Alg}\\) of pseudo-\\(T\\)-algebras and pseudo-\\(T\\)-morphisms has a left adjoint. Saying that the unit of this adjunction is an equivalence is a kind of coherence theorem; it implies that every pseudoalgebra is equivalent to a strict one. One might suspect this to be the case in the favourable circumstance where \\(\\mathcal{K}\\) is a locally finitely presentable 2-category and the endo-2-functor \\(T\\) has finite rank. The author provides a natural counterexample motivated by higher category theory. The paper prepares the ground for this with some basics of 2-monad theory and enriched category theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q664768$38709CD4-0D1C-4A17-B98E-BCF36E181C74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$C500D86A-7928-4469-BD2F-CA3E2077C6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$6D61D5CF-FB65-44BD-BC9D-16546FBD447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$5CE80046-1868-415E-88E4-258448D4C115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8938fd4c0c233938c1aa22223084d03686bfdbcc","datavalue":{"value":"6011381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$994B6B5A-CA75-416C-9B56-0D58F2AC4B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379eec14243056c33066e7037928ca577efc6d0a","datavalue":{"value":"pseudoalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q664768$74E455F4-61D5-40CE-8E9D-6D4129DDEE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cd1a0457407cbfd6d0165570ce3cb9a64b5fa8","datavalue":{"value":"2-monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q664768$2D89C542-9F72-42E3-88D6-18FD6755BF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58240fc6fd18ed006ad20ac43f9ca1f0eeabf7eb","datavalue":{"value":"coherence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q664768$AEED4EC8-2D3B-4F4F-95A8-3A6826CC46AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72d283f80b27cd64693e7a77f8897dbffc30345b","datavalue":{"value":"locally finitely presentable","type":"string"},"datatype":"string"},"type":"statement","id":"Q664768$9074F60B-8113-41AE-B7C9-C9D630BB1A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb21bbd1ab86526ad8a2e2f6e238316253c1b97","datavalue":{"value":"tricategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q664768$BB19884C-D1BF-4378-A3EC-F7E24D25CFD8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$28842667-EFEC-418A-859A-5598EE420BF3","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":"Q664768$BA34869B-E0BE-404E-8AC8-018120B58276","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8e1255558373ff1ca264b4ff7fa9d38357c2cc5","datavalue":{"value":"W1991804056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$D2F798A3-9250-46A6-8B08-D319ABEACDDA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$2B7E12A8-AED7-4965-B57B-9D5D3869573A","rank":"normal"},{"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":"Q664768$6062F723-BDA4-48C8-8411-DA1B68DFB8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefab3308dfa4109a393196f360fe69cf91ed110","datavalue":{"value":{"entity-type":"item","numeric-id":886254,"id":"Q886254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$1876151D-4BE8-432B-90F9-2E962331CC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10d43436e0ba9d128e1a08115e8b620c72a395","datavalue":{"value":{"entity-type":"item","numeric-id":3628711,"id":"Q3628711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$65221D5C-21CE-4770-9023-E3A1A2B1E945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b24aa434a4958ff197c3a4373c175de86dfa4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$EA159B0F-6A43-4E3B-96A1-E2564C001772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439ff1de4a25ce425aff3996f741b68a86882ed","datavalue":{"value":{"entity-type":"item","numeric-id":1320266,"id":"Q1320266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$D8B80780-DA12-4A3C-B894-8DC7E60FA0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a283f6beb98075fee57b6325bcdf6dfd5d181a1","datavalue":{"value":{"entity-type":"item","numeric-id":4679165,"id":"Q4679165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$534FA321-FB5D-4D89-8B93-63905AAA5221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3963cde713f15d07821110f872d6b593258408e","datavalue":{"value":{"entity-type":"item","numeric-id":690384,"id":"Q690384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$F34434A7-43A6-4A6D-B739-47A1DDC0843B","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":"Q664768$D8C2051A-47E9-42BF-844A-0C19EB739537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4142f3057f1d6b6dfd7378b371b333dce148383","datavalue":{"value":{"entity-type":"item","numeric-id":1850103,"id":"Q1850103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$6C2DB916-A7C2-4E21-9BE3-73D07E93BEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bfcf45a4c9902450cf71fa88e47b572219d205","datavalue":{"value":{"entity-type":"item","numeric-id":816648,"id":"Q816648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$69E70034-49E6-472F-A29A-855278DC0DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"707b5ac070fb8bc02a181197aa4b08e8edc80bc4","datavalue":{"value":{"entity-type":"item","numeric-id":3400012,"id":"Q3400012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$3362FEA4-5C0A-4B1F-A979-DF061B23A325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6349013833330b89d25ef93752fa051961a7eee2","datavalue":{"value":{"entity-type":"item","numeric-id":987490,"id":"Q987490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$D3F3701C-439A-479F-ABA4-6B9651235ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a407fdfb58fe29fc4e6783e78616e1b44bdee2c","datavalue":{"value":{"entity-type":"item","numeric-id":2481128,"id":"Q2481128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$84439430-504F-498A-8360-F7205DF89461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9edf74fa4c0921233a36ecec54acac6f16a136","datavalue":{"value":{"entity-type":"item","numeric-id":655343,"id":"Q655343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$44B8CE49-5F46-4C96-B392-2EA9B8BB7610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$9BD49888-11DC-4F38-8B28-6A2EDDB2F8A0","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":"Q664768$1A520A5B-E55E-4ADF-ACBC-982FBE2C9E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba6b9450c796cc9124830984efcd6e818552e18","datavalue":{"value":{"entity-type":"item","numeric-id":1886249,"id":"Q1886249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$814D1D2B-D5A7-4642-BB75-30DFF16EB0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da08513c49f55c5a21885e3cee3df56dcf0e19c5","datavalue":{"value":{"entity-type":"item","numeric-id":1118027,"id":"Q1118027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$BCCE3C4E-3B99-4B04-87A9-9297A6CE862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b31c0b9a1b5cffc1cc612153264bab93eba8448","datavalue":{"value":{"entity-type":"item","numeric-id":5431524,"id":"Q5431524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$1571FE0C-0336-43DA-AAA8-58FDDD13B6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664768$AC2E045A-A238-476C-9BB2-26C994C836E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12519275c2603d832b2d444e72791f6fb9068ddd","datavalue":{"value":"10.1016/J.AIM.2011.01.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664768$53E6DF1C-563C-4437-A8E1-58B79E28003D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e31eb461e81e8c1e0992c885b4d28d7344d379f","datavalue":{"value":{"entity-type":"item","numeric-id":1732881,"id":"Q1732881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd237bb41efb5d0ea0efb25c9311b0f4d79f088","datavalue":{"value":{"amount":"+0.7477193474769592","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":"Q664768$A0111F59-C24E-4166-A51E-192F92EDCADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c42dba3d0f1a19547b85f003c97a85121223ad","datavalue":{"value":{"entity-type":"item","numeric-id":1850100,"id":"Q1850100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed16c5dab5011907ded038ced4522e4281084fb","datavalue":{"value":{"amount":"+0.7308914065361023","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":"Q664768$91EFF6D8-31DC-45F2-BC86-94428B31FD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e66512e6c74c2216fee176af0d27ae887f42680d","datavalue":{"value":{"entity-type":"item","numeric-id":1612173,"id":"Q1612173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f4dd305c141683dfe9d4af2dfc724c48e30a99","datavalue":{"value":{"amount":"+0.7308911681175232","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":"Q664768$DA39052B-B86B-447B-B8C6-5875D4633579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea29c38b61ec6e617af6d35bd8cd448eaac434cc","datavalue":{"value":{"entity-type":"item","numeric-id":847552,"id":"Q847552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e8a545649a6516f04b9d625d842051277708e8","datavalue":{"value":{"amount":"+0.7302886843681335","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":"Q664768$4BF85A55-0EBA-4938-B244-AF190B0169CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4e657d8b0688406e6277d93da88ffd164d140d","datavalue":{"value":{"entity-type":"item","numeric-id":4917057,"id":"Q4917057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40feb6d3be62ff2a4aae0c6dd9b19cbfa3e0ec22","datavalue":{"value":{"amount":"+0.7181059718132019","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":"Q664768$520DCF3B-A07F-4E29-9C75-E2A6A93070A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Not every pseudoalgebra is equivalent to a strict one","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Not_every_pseudoalgebra_is_equivalent_to_a_strict_one"}}}}}