{"entities":{"Q1946063":{"pageid":1956805,"ns":120,"title":"Item:Q1946063","lastrevid":57621357,"modified":"2026-03-31T16:02:44Z","type":"item","id":"Q1946063","labels":{"en":{"language":"en","value":"Coherence for weak units"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155128"}},"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":"Q1946063$0A51BE99-2486-42D4-B0A3-4054625BD119","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"204db9a50376ac27ee0dd733cb1d70e583d782ea","datavalue":{"value":{"text":"Coherence for weak units","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1946063$BAAE0663-0F45-4018-9B79-0266B9D313ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c11bc8828ac1a694dfb9487a3a48d6c3c031d407","datavalue":{"value":"1319.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946063$8AAD9836-D92A-454A-A12A-196E0B61E5D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6905ede9833dcaede773ada2cea1b94f8c356986","datavalue":{"value":{"entity-type":"item","numeric-id":276736,"id":"Q276736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946063$AAC4CEC9-4D55-4D64-84E8-E39E8213FC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33bf7bc5a80929535b51ec1ba6ab3cc259e7893b","datavalue":{"value":{"entity-type":"item","numeric-id":687579,"id":"Q687579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946063$190762A5-1A0C-4AB4-A330-4BA37758D981","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1946063$C1E572C8-03CA-4652-82E6-FE3ED4CFC11C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1946063$3ED6A384-65AD-49E1-99E4-63FE81540E24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"687922f914e9c12950e7ed2274301ffee3637135","datavalue":{"value":"https://arxiv.org/abs/0907.4553","type":"string"},"datatype":"url"},"type":"statement","id":"Q1946063$A0F7DE6B-5D11-4CFB-BC48-CA5539AAF2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfafd40609c91afba6dcbbfeb7d213f6d5099d8d","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-18/04.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1946063$D1C21134-90C9-4BD3-80E3-CC692C84FCF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3feb8ab5375843208a738a65e0d0a4703c092fd9","datavalue":{"value":"Summary: We define weak units in a semi-monoidal 2-category \\(\\mathbb C\\) as cancellable pseudo-idempotents: they are pairs \\((I,\\alpha)\\) where \\(I\\) is an object such that tensoring with \\(I\\) from either side constitutes a biequivalence of \\(\\mathbb C\\), and \\(\\alpha: I tensor I \\to I\\) is an equivalence in \\(\\mathbb C\\). We show that this notion of weak unit has coherence built in:  Theorem A. \\(\\alpha\\) has a canonical associator 2-cell, which automatically satisfies the pentagon equation.   {Theorem B}. every morphism of weak units is automatically compatible with those associators. Theorem {ref thmC}: the 2-category of weak units is contractible if non-empty.  Finally we show:   {Theorem E}. The notion of weak unit is equivalent to the notion obtained from the definition of tricategory: \\(\\alpha\\) alone induces the whole family of left and right maps (indexed by the objects), as well as the whole family of Kelly 2-cells (one for each pair of objects), satisfying the relevant coherence axioms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946063$02A1BE02-F095-443B-A6D1-5EBD180E2039","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946063$7AD2506D-1D97-4D5F-816E-5F3488B4B448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946063$4F82FFFF-AC67-4CC7-B21F-1FE9589FD722","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e5d20c9487a8c926114e27b1f11ddb9b16c500","datavalue":{"value":"6155128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946063$01F68358-D636-4B30-8197-2EA254A77442","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3996c59fc86bf56318c37e61099308b66e89c274","datavalue":{"value":"monoidal 2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946063$FDD72DEF-3F88-4141-9041-72C685ADC238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aab801a105586e5be61c6f435b6d038089bdef9","datavalue":{"value":"units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946063$F06E48A9-2E71-47B7-90FE-3FEA043ADA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1946063$4FE45FB1-6930-4A9D-A730-14736C1A71AB","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":"Q1946063$122B17C5-5163-4E55-BCE7-DC4286AF44FE","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"ef432cac3a11c490760b3fce021cca6e07bd9302","datavalue":{"value":"bafkreihm4sfc6jbuaknake4vxkqrfoq3rqe47bcsagvu7nopphje63lcfi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1946063$DC775587-A590-4A62-82DD-43CEFB307C65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb99396f35cf60b4327ef845cbbc234bdb329d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4290252,"id":"Q4290252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b78b0fd50cef37460ba2a33aaa030205ecf1ad0","datavalue":{"value":{"amount":"+0.86087626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$417AEFFD-A566-4125-85A9-7DFCA88CF2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76731b7669397e4d27ed0a89acc80a3309273113","datavalue":{"value":{"entity-type":"item","numeric-id":2302641,"id":"Q2302641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111049c1b3afe20276d0e2617f5fd8846c35fad0","datavalue":{"value":{"amount":"+0.8565986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$201D442A-0FD3-4B6B-AD21-A2843C3FD351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1771b3f798559838ba3f3702fd3a45cb59b35157","datavalue":{"value":{"entity-type":"item","numeric-id":3135957,"id":"Q3135957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f17d69e184903a40e8041de668218e60a90abe","datavalue":{"value":{"amount":"+0.8559674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$E96BE2BB-1536-405F-B620-73EF2C5225B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618ce60f6efa3d44c5b7fe50b80596cc1f65c65f","datavalue":{"value":{"entity-type":"item","numeric-id":2405086,"id":"Q2405086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9981a31be6b1d3ca82d174403cd204f44191b69f","datavalue":{"value":{"amount":"+0.84893525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$802158B1-DB4F-4F34-9A7D-0927AA6D1573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875ab2b0fdbfe5e8a51bd7eea38229742b101f51","datavalue":{"value":{"entity-type":"item","numeric-id":3676800,"id":"Q3676800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64722a69bb1aed74ed378a450ae1006439c8c8ec","datavalue":{"value":{"amount":"+0.8321923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$5102F631-09F1-4284-95A1-3A909EA6F7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d8ef8eb691c8be8c99135045f059cb362651e4","datavalue":{"value":{"entity-type":"item","numeric-id":4568230,"id":"Q4568230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6ea500bc1b10b3d299375b2b1e92a5aaf88d8d","datavalue":{"value":{"amount":"+0.8318802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$C3384C6A-E9BB-4689-88B9-FDB925F3E9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e2673c14ba7811a0c3765e907ea238bb61600e","datavalue":{"value":{"entity-type":"item","numeric-id":1708897,"id":"Q1708897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f979eb02027893f6cccd0057bac14408c24ab1","datavalue":{"value":{"amount":"+0.8307337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$2DF772FC-7B17-4334-84D6-9CACF7870C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0a3deb5dd4aa20b661df7e8aa245356d610070","datavalue":{"value":{"entity-type":"item","numeric-id":2529029,"id":"Q2529029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822d96641ec67fdbd9dc10e687a72671bd288c0c","datavalue":{"value":{"amount":"+0.829016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$77CE0A61-7E5E-49C5-872C-F214D16F5232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c248236aa0bef43f8dd3a868395db0913546cef","datavalue":{"value":{"entity-type":"item","numeric-id":3598249,"id":"Q3598249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3991f7dcc4300c63086149661abfee6cac9d6a","datavalue":{"value":{"amount":"+0.82879823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1946063$98828678-A882-463D-A3F1-AF57E237242C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1946063","badges":[]}}}}}