{"entities":{"Q6595526":{"pageid":14206683,"ns":120,"title":"Item:Q6595526","lastrevid":99874568,"modified":"2026-06-05T20:54:16Z","type":"item","id":"Q6595526","labels":{"en":{"language":"en","value":"Weak vertical composition. II: Totalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7903759"}},"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":"Q6595526$77B02045-565D-4F59-B906-B39047CC7EA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f224616c194bd5e5f998e65c0960072d1a29ea95","datavalue":{"value":{"text":"Weak vertical composition. II: Totalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6595526$FA59D7ED-9FD1-4F40-9B0D-364DC2620B1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e93586d21286d6204bc20553223f6c12b1e3e54","datavalue":{"value":"1545.18014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595526$3E8A3FB3-F98A-4AE3-A4F3-3068227798DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c744cba6c57d0ff348d2acb0e39dca666dd5563e","datavalue":{"value":{"entity-type":"item","numeric-id":276489,"id":"Q276489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$1600A14A-C3C7-4FE4-A5EA-709E5FED9E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d81199f81c42a6d505a58cfe65100c1a3f6707","datavalue":{"value":{"entity-type":"item","numeric-id":5233739,"id":"Q5233739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$973325C0-6902-4B26-87F8-DC4349D50FCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$1E798F7E-DB77-44C5-9C2E-756C74A96D46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c8fa6bb43b78c1909fabd4abecf9fb01f680f46","datavalue":{"value":{"time":"+2024-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6595526$A23CD52A-23F4-4623-A50A-4CDF99B2459E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54b084f5969651219c8fbaa1ad23bef57f3a3535","datavalue":{"value":"This paper continues the study of weak vertical composition began in [\\textit{E. Cheng} and \\textit{A. S. Corner}, Theory Appl. Categ. 42, 222--262 (2024; Zbl 1545.18010)], in which it is shown that any doubly-degenerate \\(\\boldsymbol{Bicat} _{s}\\)-category\\ \\(X\\) has an underlying braided monoidal category \\(UX\\), and that given any braided monoidal category \\(B\\)\\ there is a doubly-degenerate \\(\\boldsymbol{Bicat}_{s}\\)-category\\ \\(\\Sigma B\\) such that \\(U\\Sigma B\\)\\ is braided monoidal equivalent to \\(B\\), which implies that weak vertical composition is enough to achieve braided monoidal categories in the doubly-degenerate case.\\N\\NThis paper extends the comparison to totalities, assembling doubly-degenerate \\(\\boldsymbol{Bicat}_{s}\\)-categories into a 2-category and exhibiting a biequivalence with the 2-category of braided monoidal categories.\\N\\NThe synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 1] constructs \\(\\boldsymbol{Bicat}_{s}\\)-categories as algebras for a 2-monad on the 2-category \\(\\boldsymbol{Cat}-\\boldsymbol{2}-\\boldsymbol{Gph} \\)\\ of 2-graphs enriched in \\(\\boldsymbol{Cat}\\).\\N\\N\\item[\\S 2] does some preliminary examination of structures arising from a 2-dimensional distributive law of general 2-monads \\(S\\)\\ over \\(T\\), characterizing strict \\(TS\\)-algebras via a \\(T\\)-algebra and \\(S\\)-algebra structure together with an interaction axiom.\\N\\N\\item[\\S 3] unravels those definitions, re-characterizing doubly-degenerate \\(\\boldsymbol{Bicat}_{s}\\)-categories as braided monoidal categories in three steps\\N\\begin{itemize}\\N\\item[(1)] The authors express them as \\(HV\\)-algebras.\\N\\item[(2)] They re-express them as an \\(H\\)-algebra and \\(V\\)-algebra structure abiding by an interaction axion coming from the distributive law.\\N\\item[(3)] They finally express them as a \\(V\\)-algebra (monoidal category) with a braiding coming from a weak Eckmann-Hilton argument.\\N\\end{itemize}\\Nand re-characterizing a weak map of doubly-degenerate \\(\\boldsymbol{Bicat}_{s}\\)-categories as braided monoidal functor via the corresponding three steps\\N\\begin{itemize}\\N\\item[(1)] The authors start with a weak map of \\(HV\\)-algebras.\\N\\item[(2)] They re-express it as a weak map of \\(H\\)-algebras and a weak map of \\(V\\)-algebras, with an interaction condition relating to the distributive law.\\N\\item[(3)] They finally re-express it as just a weak map of \\(V\\)-algebras plus a braiding condition.\\N\\end{itemize}\\N\\N\\item[\\S 4] establishes the main theorem\\N\\NTheorem. The 2-functor\\N\\[\\NU:\\underline{\\underline{\\boldsymbol{dd\\boldsymbol{Bicat}_{s}-Cat}}} \\rightarrow\\underline{\\underline{\\boldsymbol{BrMonCat}}}\\N\\]\\Nis part of a biadjoint biequivalence of 2-categories.\\N\\N\\item[Appendix] contains various proofs using string diagrams.\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595526$255966AC-1C15-46D3-9E20-D7905068DCB5","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":"Q6595526$28892EA4-A287-4399-A3CD-FEBE19776B07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595526$79CF7672-815B-4F69-968D-172F88F29C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f13dfb0d24e61be828575443e5ed7e7f8fead772","datavalue":{"value":"7903759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6595526$CED98737-FDA7-44D4-BB2E-FF91152D074B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb21bbd1ab86526ad8a2e2f6e238316253c1b97","datavalue":{"value":"tricategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595526$2A6B15F9-9DD3-4C13-BD56-4E1D4DA49A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b22ae2574863d489ae7d7256a5e3bfdc26db064c","datavalue":{"value":"degenerate","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595526$4BC7AFD1-00E1-4C76-8A94-6C05D9BE396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7762e21a7c28e97fc2ec3364cdb60441be9f59c","datavalue":{"value":"braided monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595526$C9E12360-2634-4B56-AE44-30DC6C4AAA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67518770d15dc277e6e40a25e474e5a75021be0c","datavalue":{"value":"enrichment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595526$EB1BDA3E-9AB7-4EB0-B0FD-2C9CE8CD3966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d683170dfa3c0a7f413762868d8dd5f2e8c0096c","datavalue":{"value":"icon","type":"string"},"datatype":"string"},"type":"statement","id":"Q6595526$9DA5D1EB-DE16-486C-9AE7-E88B62DA1711","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":"Q6595526$00070EF5-AB56-4062-867D-40CEEA2FB58D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea30f87d4a0b758732aaf6860adebca2feb7e40","datavalue":{"value":{"entity-type":"item","numeric-id":3055794,"id":"Q3055794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$1896AA1D-7D06-4AB6-9DDA-C3FAA64BB92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44982935af70045b25c651fb98ba95a3afadc4b","datavalue":{"value":{"entity-type":"item","numeric-id":4871931,"id":"Q4871931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$EEDDE9B1-3376-4F46-BA37-6A7E8D6E37EA","rank":"normal"},{"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":"Q6595526$3F80D39C-4CD5-490D-8187-4B680E6F5EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b2defc413b353b3cfb9dd3e0c2565cfc08c252","datavalue":{"value":{"entity-type":"item","numeric-id":5431512,"id":"Q5431512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$B6DA449C-4AF0-4090-B60F-2381B9EC5B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3ac2d99be543c9205e2d05814bf1409ddf298b","datavalue":{"value":{"entity-type":"item","numeric-id":3105520,"id":"Q3105520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$F0D1CE97-2765-4B6B-9654-5839EC0054FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a2aed59edac2fcfd9647d582c194c3d8c64205","datavalue":{"value":{"entity-type":"item","numeric-id":5248249,"id":"Q5248249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$6D7A8A67-764F-45B4-A52C-2D692B227362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba7b338a523ff0581fcf6b0cd689e071501e729","datavalue":{"value":{"entity-type":"item","numeric-id":650989,"id":"Q650989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$62CEB8B7-935A-433C-8D70-1E000F85FB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bba21ada612cefb1b8103277bd9e8e3f5ac4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3002206,"id":"Q3002206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$DD2F4CCA-1F36-40B9-B90A-451BA13B9342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41488dba91465d8b67a2ff6b7148817406162554","datavalue":{"value":{"entity-type":"item","numeric-id":5239850,"id":"Q5239850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$DE7FBD61-7BE8-4C71-80F9-C8C365C0B1DC","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":"Q6595526$DB7FAC9C-1BA4-487F-A797-2ABEF6125394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fa4daef9f99872dd2b360b503c07965c221710","datavalue":{"value":{"entity-type":"item","numeric-id":2919769,"id":"Q2919769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$3B5B34E4-9CFB-4AA3-8C2E-21A30E79F994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270f4ddb4ba8bf5e3ed43735cee428375883e3a6","datavalue":{"value":{"entity-type":"item","numeric-id":5431519,"id":"Q5431519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$1AADBCA7-0D3E-409A-A111-A45AF922B96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$7171CB31-9BB3-4CC5-9E8C-4E5E93AC0141","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":"Q6595526$17953240-7459-4EC9-9465-0D0EA1C5B3B3","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":"Q6595526$18786C63-A57F-4535-BB37-BE26266C5CD7","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":"Q6595526$BD33F62A-EF34-47A8-815B-6015CD0A4B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5858f4259837242b670bff56409a1e1b8234b7","datavalue":{"value":{"entity-type":"item","numeric-id":664768,"id":"Q664768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6595526$66CBC1B5-3B70-4523-A1AF-9B980C83374C","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":"Q6595526$C6F3572C-1761-4B1A-9C74-935790D0F840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe744e77ccfb8b27e2979b2aba208ba204479dbf","datavalue":{"value":{"entity-type":"item","numeric-id":6593825,"id":"Q6593825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4042ad74a2b2a9996b8b6d20512685c02c8713","datavalue":{"value":{"amount":"+0.9351749420166016","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":"Q6595526$15278E49-1ABC-4717-A239-3B589072F143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67b5905834848670b153116d79a67891ddbcd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3105520,"id":"Q3105520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f817ccbbbb0cc78be036afcb48ccb62520fe8b","datavalue":{"value":{"amount":"+0.780687153339386","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":"Q6595526$996ABCA2-9AD8-4860-954B-7C6127BBF257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505f9f7b3212a68da79465139c33eb18e9f85854","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d732314feed86ca8562c1c6f4b574cb6ea85b73c","datavalue":{"value":{"amount":"+0.7656199336051941","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":"Q6595526$CA7FD594-BF39-4E3E-A49B-F34EB523519F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ff25b75ba06826d46b4b82f2e8ee490e100e78","datavalue":{"value":{"entity-type":"item","numeric-id":1946063,"id":"Q1946063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c311230ebc4a6c656ab9e4154e0d1f1fc1e3f4","datavalue":{"value":{"amount":"+0.7514178156852722","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":"Q6595526$C304C27C-2BAA-4363-BA86-DD1B2AA500B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7434fbd957a879d1b8481d25777971c575247443","datavalue":{"value":{"entity-type":"item","numeric-id":3386389,"id":"Q3386389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7973fb2c0a9450345ddf338f0a836cf6b9a10fe","datavalue":{"value":{"amount":"+0.7474967241287231","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":"Q6595526$28FE8D5A-C72D-4F6B-842C-41B4C8A6AF85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak vertical composition. II: Totalities","badges":[]}}}}}