{"entities":{"Q655343":{"pageid":657192,"ns":120,"title":"Item:Q655343","lastrevid":63363087,"modified":"2026-04-11T12:21:50Z","type":"item","id":"Q655343","labels":{"en":{"language":"en","value":"Enhanced 2-categories and limits for lax morphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5994242"}},"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":"Q655343$83BF1E4B-9363-478A-80FB-4CFAE6A4B36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5482f54f74320e0088e8abff32091a8ce30cdc32","datavalue":{"value":{"text":"Enhanced 2-categories and limits for lax morphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q655343$4103C01E-157D-4086-8B4D-0EB074719C70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"096119f582aaa332d4430be16cf9c2f942d13c5d","datavalue":{"value":"1236.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655343$A4597C51-7073-4B84-B489-2864C68067F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072eccf7c5410d4251bc74bb0051dfd105c0c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$B88DF7D2-EE50-4761-A748-26217B94964B","rank":"normal"},{"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":"Q655343$A926AC34-95A1-4C35-A02B-171F3DFA3973","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":"Q655343$67B4823B-63D3-4A80-8D76-AB9179C991CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd27d2961557708e7c2573aeb1bdd7381f0f8830","datavalue":{"value":{"time":"+2012-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q655343$A665087D-E559-435A-9066-1769CA8A6BD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3224457839897d2130178c68338b1f36f6653b52","datavalue":{"value":"https://arxiv.org/abs/1104.2111","type":"string"},"datatype":"url"},"type":"statement","id":"Q655343$CECA3B0D-7851-4FB1-BEE0-0682849FAF34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"359d724795916d231edd89cbc85d793b73b12fb6","datavalue":{"value":"When meeting a new category, a first question is which limits and colimits exist. By ``which'' we mean here the specification of a diagram type, or weight. For ordinary categories, weights are set-valued functors. For categories with homs enriched in a monoidal base category \\(\\mathcal{V}\\), weights are \\(\\mathcal{V}\\)-valued functors.  Categories of algebraic structures of a given kind \\(T\\) are very obliging, i.e., all (small) limits and colimits exist. Here, we are thinking of \\(T\\) as a monad with rank on the category \\(\\mathcal{S}et\\) of (small) sets.  The same remarks apply when we meet a new 2-category. Indeed, 2-categories are precisely categories with homs enriched in the Cartesian base \\(\\mathcal{V} = \\mathcal{C}at\\) of (small) categories. Limits and colimits with \\(\\mathcal{C}at\\)-valued functors were studied by the reviewer [``Limits indexed by category-valued 2-functors'', J. Pure Appl. Algebra 8, 149--181 (1976; Zbl 0335.18005)]. This showed, in particular, that the lax and pseudo-limits studied by \\textit{J. W. Gray} were naturally covered by the enriched category theory.  When it comes to 2-categories of categories with 2-algebraic structure, all (small) limits and colimits exist as before. However, this is only true if we take the strict structure-preserving morphisms, but these are not the only ones of interest. There are also pseudo-, lax and oplax morphisms in the nomenclature of \\textit{G. M. Kelly} and the reviewer [``Review of the elements of 2-categories'', Lect. Notes Math. 420, 75--103 (1974; Zbl 0334.18016)]. For example, the kinds of limits existing in the 2-category \\(T\\)-\\(\\text{Alg}_{\\ell}\\) of \\(T\\)-algebras and lax morphisms (for, say, a 2-monad \\(T\\) on \\(\\mathcal{C}at\\)) were examined by the first author [``Limits for lax morphisms'', Appl. Categ. Struct. 13, No.~3, 189--203 (2005; Zbl 1099.18004)]. The story seems complicated because of restrictive conditions involving strict morphisms.  The present paper demystifies this situation, for \\(T\\)-\\(\\text{Alg}_{\\ell}\\) in particular, by showing again that it is all naturally covered by enriched category theory using a very cleverly chosen base category \\(\\mathcal{F}\\). Indeed, \\(\\mathcal{F}\\) is the full subcategory of the arrow category \\([\\mathbf{2},\\mathcal{C}at]\\) with objects the fully faithful functors which are injective on objects (full embeddings). It is a Cartesian closed base which, when regarded as enriched in itself, the authors denote by \\(\\mathbb{F}\\).  Generally, an \\(\\mathcal{F}\\)-category \\(\\mathbb{K}\\) can be identified with a 2-functor \\(J_{\\mathbb{K}}: \\mathcal{K}_{\\tau} \\to \\mathcal{K}_{\\lambda}\\) which is bijective on objects and locally a full embedding. Morphisms in \\(\\mathcal{K}_{\\tau}\\) are called tight and those in \\(\\mathcal{K}_{\\lambda}\\), loose. For \\(T\\)-algebras, we obtain an example with strict morphisms as tight and lax as loose.  Rather than \\(\\text{Cat}\\)-valued 2-functors as weights, we now take \\(\\mathbb{F}\\)-valued \\(\\mathcal{F}\\)-functors \\(\\Phi : \\mathbb{D} \\to \\mathbb{F}\\). The story then unfolds very nicely as the theory of \\(\\mathcal{F}\\)-categories. A major point of the paper is its characterization of those weights \\(\\Phi\\) for which \\(\\Phi\\)-weighted limits lift from \\(\\mathbb{K}\\) to \\(T\\)-algebras in \\(\\mathbb{K}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$9314416B-FF18-407D-A0C9-7417338ED744","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655343$54FD5900-0DA7-4A16-890C-EE0A108953BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655343$27B7A832-3DCF-45B8-9E6C-E47ED8853669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab43960cd4e7fc177c49fd683b81c559e00353d5","datavalue":{"value":"5994242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655343$02336955-4BD0-420C-9E4D-4FF254F1762D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$CFF99022-FEF1-4F67-BF67-660FE8ACD7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8cd1a0457407cbfd6d0165570ce3cb9a64b5fa8","datavalue":{"value":"2-monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$2346558D-4999-48C8-AC02-683A05B14BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e501c9f84c809915c468c1f47da29de324432a9f","datavalue":{"value":"weak morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$C9E18BA4-601C-4D52-BA64-D3DF3E784381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39950b41a3222859e5af93def13bfc229f9ada00","datavalue":{"value":"lax morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$B9BBBDE2-1C42-48E9-9CA1-BC6C68CCBED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$3387D171-F887-480E-9F70-39BBF6815DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b97770dafe90ab5fbae436b3341239cba254a17","datavalue":{"value":"weighted limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q655343$E8CCEE46-8B55-4C94-9775-3B5776B6C77A","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":"Q655343$E1606581-C063-4D15-BA87-4C1DD3F6A8BF","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":"Q655343$D3E525BD-8657-49F6-996A-223E18FE2D9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c65ae0e196da54abe39f120e4bdf349425719554","datavalue":{"value":"W2004020810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655343$1A5A3003-D3D5-4639-9EDD-9F3FEF2BB407","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6a28907eb6ad6ff3c9b12b38fe72df27488649","datavalue":{"value":{"entity-type":"item","numeric-id":1109873,"id":"Q1109873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$193120B7-8360-4F0B-B721-7267B3DB99A4","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":"Q655343$DD44EEB3-2DF3-4A29-8C7E-5B8CBFD412DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b377b7f43c6c3d47a860282053c3129d65f39c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1262939,"id":"Q1262939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$C2DE1AC2-41CF-4EED-BB7B-24EEAA448437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7da76e7519deb581a17840a9c61b89150682774d","datavalue":{"value":{"entity-type":"item","numeric-id":4248239,"id":"Q4248239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$44D70305-D932-471A-87C7-BF2D96314574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4b07246c8d65cf9bb83fb87209d42d1295a3d1","datavalue":{"value":{"entity-type":"item","numeric-id":2552195,"id":"Q2552195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$8B2B76A2-9730-4009-BF56-CCA0BA36B33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357562bc67ef501f6f56141e147b07e88424eafa","datavalue":{"value":{"entity-type":"item","numeric-id":5896982,"id":"Q5896982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$A97003C7-C572-4758-BF54-F002608EC4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d970af81835523f3ba5429e395b3591bfdb6c988","datavalue":{"value":{"entity-type":"item","numeric-id":4933938,"id":"Q4933938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$32331936-266C-42E0-80FE-AC631933C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47fb13cceb7bf5f2c6a3aca2a748164c5a34a00d","datavalue":{"value":{"entity-type":"item","numeric-id":3539846,"id":"Q3539846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$A0E4C209-5FFE-4389-BA1C-30E16CF4A550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$01185BD9-9C71-42B3-89B1-D6B0C160EB09","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":"Q655343$29955AC7-22F7-477B-A1CE-8F302A5CA6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287f31c8e695f0cc11f57a3ba4a985fdf48a0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3804881,"id":"Q3804881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$24CF6892-7201-4CE8-AC51-0313B0913855","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":"Q655343$5B8D5A68-98A8-4D97-9C84-40A1E717D573","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":"Q655343$D86A3455-2F8D-40EB-B077-61225CFA512B","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":"Q655343$188A6565-569A-494A-A6ED-0543FF37E643","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":"Q655343$50F5387E-638B-404E-938C-7E159F264C15","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":"Q655343$E1E486C9-AC1D-4FD0-9BFF-50E2F71C1017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093a527380d3100f4ded96734d3ec824c918d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":847558,"id":"Q847558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$F110753D-8ABE-4F71-B301-C2284CC73646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f8adaaa9898db79a28bd0096c4047c7d5f774e","datavalue":{"value":{"entity-type":"item","numeric-id":3977014,"id":"Q3977014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$723EE8CD-0B03-4936-9829-0159DFFC1876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2241543a9b0ee1abcdce98666f228817f77ee4e7","datavalue":{"value":{"entity-type":"item","numeric-id":3646422,"id":"Q3646422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$ADA27F77-5A6A-4F0C-8BE4-621DDB1ABD8C","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":"Q655343$E7A7C709-F9BD-4482-B039-6BE2AE8BC939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8500eada3f97d2f4d3a585ce9f7bfe32f622ad2a","datavalue":{"value":{"entity-type":"item","numeric-id":3156507,"id":"Q3156507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$DF548BF5-E18F-4F1D-B7DA-FA3499A3ED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aaadb40567471ab3b08d7e0f56fc4fa59e18adb","datavalue":{"value":{"entity-type":"item","numeric-id":5182321,"id":"Q5182321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$A10BAB5A-230E-4A1A-A061-FA7F6610E34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa432d0b269d7d5978ebadd6092efcfb6a3503b","datavalue":{"value":{"entity-type":"item","numeric-id":2883127,"id":"Q2883127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$7816E913-3C31-4DF8-A852-34D85E8C9E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331b22d34e6b3081f6e21389e3201f161152d9ca","datavalue":{"value":{"entity-type":"item","numeric-id":3961635,"id":"Q3961635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$3A510613-F289-4170-BAFA-F709861CAA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f48c4f0c0ac8a6210f9aae493f1bbabe900909c","datavalue":{"value":{"entity-type":"item","numeric-id":1219348,"id":"Q1219348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655343$C4D7958E-265D-4E09-96BB-BC731C2ACE40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5fd5f7fb9e2d1a4198e8bd776cd9e441e600be8","datavalue":{"value":"10.1016/J.AIM.2011.08.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655343$8EC9FC06-AEE6-4267-928B-820F0D3EE8AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e185b76ae2517314f4be2aa3dad768f46108e72","datavalue":{"value":{"entity-type":"item","numeric-id":816648,"id":"Q816648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456e5f4c9e5629c525b4b262373524c7ec94c487","datavalue":{"value":{"amount":"+0.8295788764953613","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":"Q655343$DE8C2F58-2A36-4ABA-B48C-E4E30D3545F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8497a0853f9db750ebd353b5407b9af6a6ac96c5","datavalue":{"value":{"entity-type":"item","numeric-id":2445311,"id":"Q2445311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb56ebb2e420c2c7b60b9c187fa2caa34f2c59f5","datavalue":{"value":{"amount":"+0.8242213726043701","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":"Q655343$B79DFA3C-D82C-438D-A688-DC837D47A6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2318cca5bc4849eeb0c82873bcaedad398ab59","datavalue":{"value":{"entity-type":"item","numeric-id":1262939,"id":"Q1262939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2750a3b6597530136f9216676ca2666bd4cf2e5b","datavalue":{"value":{"amount":"+0.8229573965072632","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":"Q655343$0C76124E-0E4F-4B0A-AD2F-9AA45629833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30596a91db46e83b2c1962df3a6a3bbbe1f615d0","datavalue":{"value":{"entity-type":"item","numeric-id":1743022,"id":"Q1743022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb2aa498518afd682a864e77a76807aa884bd56","datavalue":{"value":{"amount":"+0.8029727339744568","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":"Q655343$0FA6D0D3-DC5E-4C1B-B266-6EC9CF6CB46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c596d21ba45a0e8c6f3bf8fea65be4e525e91618","datavalue":{"value":{"entity-type":"item","numeric-id":4487535,"id":"Q4487535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef15e14e10aff7caf430114e793c00299446d64d","datavalue":{"value":{"amount":"+0.8015203475952148","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":"Q655343$68255466-71C4-4EC8-937B-D5C042E6C609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enhanced 2-categories and limits for lax morphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Enhanced_2-categories_and_limits_for_lax_morphisms"}}}}}