{"entities":{"Q6894299":{"pageid":20862322,"ns":120,"title":"Item:Q6894299","lastrevid":84189809,"modified":"2026-05-13T09:35:49Z","type":"item","id":"Q6894299","labels":{"en":{"language":"en","value":"An overview of colax and virtual double categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8127544"}},"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":"Q6894299$C927CBB4-C4C9-4D1A-989F-AB158C4AD43B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71d7e7664ad6a6af034ab1170d84511271d241f4","datavalue":{"value":{"text":"An overview of colax and virtual double categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6894299$6F72CA5F-79BE-46B0-98DE-3CB5240CDF5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9f929439cd32759952d26798ba07cda2620b038","datavalue":{"value":"10.1007/S10485-025-09836-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894299$E05A3640-24F3-4AC9-9F28-69358BE67727","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc0e79174a7d528b7f9fa6e4d53c09858bb05c61","datavalue":{"value":{"entity-type":"item","numeric-id":390707,"id":"Q390707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$455962C4-D6B4-4C15-A77B-97AE02B1FDA7","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":"Q6894299$FF81A5F7-241F-4D23-93B7-408E67CA7456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed40ea515b48f533e3453a2e86e3ed576f48341c","datavalue":{"value":{"time":"+2025-11-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":"Q6894299$415631CE-5A28-4E80-9092-D64F835390C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5729024c20d90121b75483fe6ae553981c6dffff","datavalue":{"value":"This paper gives an overview of colax and virtual double categories. The synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 2] recalls the notions of strict and weak double category, constructing a colax double category \\(\\mathbb{M}\\mathrm{Top}\\) of monoids, homomorphisms and biacted topological spaces.\\N\\N\\item[\\S 3] gives an explicit description of colax double categories as oplax algebras for the free-category 2-monad. Colax double categories were introduced by \\textit{G. S. H. Cruttwell} and \\textit{M. A. Shulman} [Theory Appl. Categ. 24, 580--655 (2010; Zbl 1220.18003), Example 9.7], being an extension of colax monoidal categories [\\textit{T. Leinster}, Higher operads, higher categories. Cambridge: Cambridge University Press (2004; Zbl 1160.18001), Definition 3.1.1] for the dual lax case.\\N\\N\\item[\\S 4] outlines the extension of the results on the formal theory of adjunctions represented by the strict double category \\(\\mathbb{D}\\mathrm{bl}\\) of (small) double categories with horizontal and vertical arrows given by the lax and colax functors respectively and suitable cells [\\textit{M. Grandis} and \\textit{R. Par\u00e9}, Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 45, No. 3, 193--240 (2004; Zbl 1063.18002); \\textit{M. Grandis}, Higher dimensional categories. From double to multiple categories. Hackensack, NJ: World Scientific (2020; Zbl 1431.18001)], Chapters 3 and 4] to colax double categories, defining the strict double category \\(\\mathrm{Clx}\\mathbb{D}\\mathrm{bl}\\) of such structures and the new adjunctions. It is shown that colax double categories admit both lax and colax (double) functors.\\N\\N\\item[\\S 5] shows, by explicit constructions, that normal colax double categories (resp. double categories) amount to representable (resp. strongly representable) virtual double categories, as already claimed in [\\textit{G. S. H. Cruttwell} and \\textit{M. A. Shulman}, Theory Appl. Categ. 24, 580--655 (2010; Zbl 1220.18003)].\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894299$1116717C-62F8-4D22-A856-B3CBEF4C0C47","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":"Q6894299$87FF555F-2F7E-493D-91DE-3C273515B25B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894299$EC8BEB22-9930-4918-B9AA-7702DCE54BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894299$285927F0-1C7A-41B8-8803-2F1CCFB77544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fc77964b6f27aae09e0a7c3da73c07980e5489f","datavalue":{"value":"18M65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894299$E8991726-1375-4802-BCB1-F164750F3976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb582248b95f9e91a8783e11a3dcc50bdafd3c3","datavalue":{"value":"8127544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894299$102A45F6-16F3-4F3D-A082-A66AE4BAE207","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ce2e87cebf2559606080ffb41e89cf16c7f5da","datavalue":{"value":"lax double category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894299$8C4A1C3D-EC84-4E59-B471-6556F9BADCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd71a9908c4a8d92fffc73775f92ccd0c6b5091","datavalue":{"value":"virtual double category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894299$EF077DC2-7961-4156-805E-EF490D7E8AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c659d7452830195c1293468257b846970ed61a8","datavalue":{"value":"multicategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894299$A8A070BB-EB87-4C9D-B59D-5741099223BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d0bb2e432f5ae65c74b1bf00367765d5798ad8","datavalue":{"value":"lax functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894299$04A940E7-024E-4713-8ADC-CC96C77F2492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332b2f40c58e5077a2411c4819d633ccf2c6cba7","datavalue":{"value":"cylinder functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894299$9E7155AD-8AD0-40E5-9283-F71D9A556483","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":"Q6894299$B7250602-9100-42F6-A616-69504900501B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$D0C0BFE1-76AB-4D3E-8FE5-8E8E0E9FFF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efdcc5cf5e30d46af65aa0f24b6b6c59b97f31f4","datavalue":{"value":{"entity-type":"item","numeric-id":5658221,"id":"Q5658221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$8642FC33-13F2-4C70-BC0E-422B6B623D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e7cfe3a8b51c8d05dfcd94a77a24a838d2af13","datavalue":{"value":{"entity-type":"item","numeric-id":4444126,"id":"Q4444126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$201DBBEF-00C7-43A7-9E1B-FE7366669E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacc4bdf3a47a1007e4050f3b70edc903b082e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5200289,"id":"Q5200289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$8E7B4AB3-E61F-4F4D-962D-34F60CCE3F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b377f8a66d0a4a318c94801ae13aec716eb65fe6","datavalue":{"value":{"entity-type":"item","numeric-id":3411952,"id":"Q3411952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$F477D36C-4329-4DC1-A746-27A0FD45E385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ca6263ed9bcbdc9d0b4de70bc658d2596fdaca","datavalue":{"value":{"entity-type":"item","numeric-id":5727675,"id":"Q5727675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$3308B9B5-76FE-4386-B32D-E4B0E984BFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960d453683ed4d0de7a8f12995e1700dba4ac192","datavalue":{"value":{"entity-type":"item","numeric-id":5335344,"id":"Q5335344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$C44E4CE3-A54C-4612-9871-0AF825E40125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6321b8c943a2fbab49830d9588516fb8671bdac4","datavalue":{"value":{"entity-type":"item","numeric-id":5341787,"id":"Q5341787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$866D496C-6E4C-4738-9769-1D80E4F3398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6adcf3ae3885ce0e3df37091d3e2c5114768a17","datavalue":{"value":{"entity-type":"item","numeric-id":5586439,"id":"Q5586439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$04537816-8150-4BD3-8A76-7022D310A26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075aef123e914ffa4ca172c6bf161c17d1e17998","datavalue":{"value":{"entity-type":"item","numeric-id":3625520,"id":"Q3625520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$A8E34BDA-FC60-4984-BCE5-D37ACEE12C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd7dc465b0b9964dab015eff05f1733351a4953","datavalue":{"value":{"entity-type":"item","numeric-id":5223574,"id":"Q5223574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$42EFD79B-3902-4118-89E3-9E177AE2903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf03af4be79c76d211438d46a992b50c9d83838","datavalue":{"value":{"entity-type":"item","numeric-id":6187808,"id":"Q6187808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$8E865FB8-E556-42C2-8905-D639AC012015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9af1f70fcd8e40faf2c37bb64a45e7bf287ada0","datavalue":{"value":{"entity-type":"item","numeric-id":6994894,"id":"Q6994894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$1437DD53-C176-4745-BA87-8AAEBB54CC11","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":"Q6894299$B56784FB-78C6-48C8-BFE0-CDD2BC8C8643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37df3a20d45d4e9f8e3c76087d133d21e4cd9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":4652984,"id":"Q4652984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$8996CFB3-D9F4-4739-82AD-F4BE8A59698E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e611ba04c222737e4ea2ca92a84a86fbc6ce4cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5437176,"id":"Q5437176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$7CE3A57C-A3A6-4151-B2E6-50D04975C352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6eba42708620ddd3cfdae8145a52d5cf334601","datavalue":{"value":{"entity-type":"item","numeric-id":5387357,"id":"Q5387357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$DF2D60AA-8AD4-4A46-B1FE-3AFD1431F0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e4f31e52c4ccdd171e9458420c16b4b267b195","datavalue":{"value":{"entity-type":"item","numeric-id":3461946,"id":"Q3461946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$8FA692A2-ABF5-493E-9BBA-8262D33EFFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c13f12ace62961917f4abb0d683ab51b4188a39","datavalue":{"value":{"entity-type":"item","numeric-id":3456331,"id":"Q3456331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$E22A2976-829E-44C3-A4C8-EE41F4B33D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec4ea075787e2ede02ee509a4e38d54d5e7402c","datavalue":{"value":{"entity-type":"item","numeric-id":5507032,"id":"Q5507032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$4BD6AF98-4F44-4566-88ED-CFBF13692C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328397f1b0e7e748f7afca9aad957f2e06d12988","datavalue":{"value":{"entity-type":"item","numeric-id":3178884,"id":"Q3178884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$0CDB2739-E86B-4EEB-9C5A-87670EFF054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1023633e937fcc5931a9b1265bbc35969ca0e4","datavalue":{"value":{"entity-type":"item","numeric-id":502617,"id":"Q502617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$EBE96174-0F7F-42FF-A01B-01E90F6297BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"249ce39cc46f199abd9407effc4ef4ae63ed3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4977470,"id":"Q4977470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$180137C0-B456-4E55-8F0A-6303A0D0702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b808a8fe471d5a0dff5a45d5f3f0fcde64a51082","datavalue":{"value":{"entity-type":"item","numeric-id":4594719,"id":"Q4594719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$54523D14-031C-4646-81A1-DEFAA17C2E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4d79c80906b5e32acca1eed10c04bc5a674dde","datavalue":{"value":{"entity-type":"item","numeric-id":4609241,"id":"Q4609241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$170EEFF8-DB1E-428C-98AB-67D3879A8FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b772c280cb28eb952dfecece8803f597c39c33","datavalue":{"value":{"entity-type":"item","numeric-id":5226825,"id":"Q5226825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$DBFA2837-11A5-47C9-8ACD-4F9E30EC0782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb94e327ce05a7e48547aafac5c5b072633ed2d","datavalue":{"value":{"entity-type":"item","numeric-id":1570232,"id":"Q1570232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$178519E5-2152-4D92-89F6-D3E3131827CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$3688CE8F-E969-43F1-B995-2172E16314F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a0a04b65077b81405de34dca630768e9f367b1","datavalue":{"value":{"entity-type":"item","numeric-id":6492255,"id":"Q6492255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$D15FE9D9-BD2C-4068-A734-5709A0111487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d2a204871a5e6f914db305e4a5d7ab3aac60f5","datavalue":{"value":{"entity-type":"item","numeric-id":5960413,"id":"Q5960413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$CFE75C46-8162-44A1-99EC-C9646FF14A41","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":"Q6894299$987054D1-476D-4CBF-95FB-D1C66A433C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1558203b3fbce7401c07b8b45e6a9e7678bec22","datavalue":{"value":{"entity-type":"item","numeric-id":2884466,"id":"Q2884466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$7DC5DF16-E9E0-481E-8A43-652E35F9E2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fa9c99aa5fa5b315bef9e458e1072e8997cc01","datavalue":{"value":{"entity-type":"item","numeric-id":2847351,"id":"Q2847351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894299$8031636E-0D1F-43A0-8150-8A118D94FE7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An overview of colax and virtual double categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_overview_of_colax_and_virtual_double_categories"}}}}}