{"entities":{"Q531324":{"pageid":533091,"ns":120,"title":"Item:Q531324","lastrevid":62536005,"modified":"2026-04-11T06:45:27Z","type":"item","id":"Q531324","labels":{"en":{"language":"en","value":"Monads in double categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5882416"}},"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":"Q531324$31539DEE-6D3B-4538-A657-07F08085D7D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8d15cacbbc1b8135bca1a73411a867d557b0dea","datavalue":{"value":{"text":"Monads in double categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q531324$04783682-2C6D-4E4B-9A71-31CCC726CDF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f1ff4ff482817214d498e4a1fef353a08d62018","datavalue":{"value":"1225.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$6F2B1BA3-939D-4179-8F28-7838B086CBCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1644951c9493752eb82dad6deca534a4a31c85a3","datavalue":{"value":{"entity-type":"item","numeric-id":531322,"id":"Q531322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$7B8D122D-A2E3-4C96-A396-150FCFADEFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$D92D2BE5-7405-4383-A23B-AE3E6201FB78","rank":"normal"},{"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":"Q531324$1FFEEA2F-8BCB-4266-97F6-0BAA46DA7A9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$49441F2A-7A2E-4C2F-9666-8F64BADA9C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71f935d0a64a33d4cbc5fdd6db9fd166029e3cfc","datavalue":{"value":{"time":"+2011-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q531324$FF98E16A-4224-4A79-89C2-BD2FD8AD847D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e972f081c08567361157502fa6e2dde5c2127076","datavalue":{"value":"https://arxiv.org/abs/1006.0797","type":"string"},"datatype":"url"},"type":"statement","id":"Q531324$C4107418-0DC7-4906-8C4E-659F75C5BF38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d84f9c504ece41f3c1148aa4285ca3b07664d31","datavalue":{"value":"A double category is an internal category in the category of all categories. By formulating the formal theory of monads in the context of double categories, some naturally occuring functors of the theory become monad maps; something which is not true when the formal theory of monads is formulated relative to the 2-category of categories. In this paper the formal theory of monads relative to a double category is developed and a sufficient condition is given for when free monads can be constructed.  The paper is slightly hampered by the need to deploy quite a bit of categorical machinery to make its points, but it is nonetheless very clearly written and provides an accessible and interesting account of the topics under discussion. The abstract and introduction are well enough written to allow the reader to understand quickly, and in more detail, what the topics are that the paper is trying to cover.","type":"string"},"datatype":"string"},"type":"statement","id":"Q531324$494A0344-1F2A-410F-A97E-9674AD46DED5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"19d9defb99406175e3cc51aae8567a7d4451a9a0","datavalue":{"value":{"entity-type":"item","numeric-id":593203,"id":"Q593203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$49B67196-1E10-4493-B490-8D57BAB7D474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$71ECFD6A-20EF-42C9-89AE-F247CFE794E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$8DF6E43C-65BE-4419-BF12-DD96D6D3C801","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6baca878d83e69d3f27682dbd9f39617eb20487","datavalue":{"value":"5882416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$F39052DB-EFC2-466B-9D20-5E66C08DC237","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826aa903307d15b75ee129680ac51124fd56ec2f","datavalue":{"value":"double category","type":"string"},"datatype":"string"},"type":"statement","id":"Q531324$F15F3E73-986D-4E1E-A559-1A5949FA1DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q531324$20182C28-2972-467F-8453-CA5B82A713D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q531324$ECEF3921-31B6-474B-AEC3-CBDFC66D7982","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7ca160cf0fa3a2d4d4892336577c4fb1916709e4","datavalue":{"value":"Q61834696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$0E1CB28D-D5BB-42E1-BC09-2628B36AC080","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":"Q531324$F3E1407D-F2E7-4B1F-A062-EDF5690CF4B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb00b645851bdcc065978dcb7660bc196fb75f17","datavalue":{"value":"W1994430959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$78A7EE41-A315-40F4-958B-136F5B4E71F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$112E9E0F-D911-4BCD-B5F1-26FFC8B68E64","rank":"normal"},{"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":"Q531324$FA95D967-542F-4A00-A3AD-CA89006E41FF","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":"Q531324$464A8E06-B70B-48BA-B391-35E9AFE09BAB","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":"Q531324$2AF5D3EE-D530-4AAD-B5C0-6251F693EC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa100b2ba2fff81a72e56378d973ffa8f795d71a","datavalue":{"value":{"entity-type":"item","numeric-id":847552,"id":"Q847552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$2CA8C99D-108C-479A-8DC7-50D555A01E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8440df57722434635739017e8c3b093936414e","datavalue":{"value":{"entity-type":"item","numeric-id":1007175,"id":"Q1007175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$C511BF55-0D87-43CA-9963-D7292883088E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$A5FA7B3B-8D92-4696-BED2-B32CA28117A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$25735661-A9A4-45C4-8597-57C7CA5A3906","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":"Q531324$EDC6BA25-423A-4F6C-B489-B13CD319E040","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":"Q531324$3EB1002B-C3B3-4047-BF75-50EB007EA093","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":"Q531324$6CC7A632-35EA-43DB-94B8-DD543FB338FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$12EE1F1A-70CF-448E-B813-9B4E32C62DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$40FAD820-40A7-4BF3-B0D3-8D6C692EBA0F","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":"Q531324$1F62C1CD-7FE4-4B72-93F3-F330F190042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bbc2004c97d7cdb78bdc3c701291fe2fff79cd","datavalue":{"value":{"entity-type":"item","numeric-id":1850104,"id":"Q1850104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$3AF64723-9DF9-4408-AFF1-B662E17303FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$19468C34-0755-4C88-99C5-32B0E17F1676","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":"Q531324$1FE72B8B-5AB1-4792-A41B-BA1ED75612AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb83562c2d416412c17636480881d95b7979cd02","datavalue":{"value":{"entity-type":"item","numeric-id":3552042,"id":"Q3552042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$374745A2-A7AC-4D2F-8876-61D492D470FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$86450668-D799-4AA7-BA26-272E2348D79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$B91E292B-BDB9-4A76-B454-41B30C0EDF4E","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":"Q531324$AE773517-4B04-4AD3-B2F0-428C9726D26B","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":"Q531324$D639056E-4F26-478A-B3BE-5135E1EA6EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q531324$A27F71DE-895E-4AA5-A936-95C53FE94564","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2757af3dbea3f41db33bccdd1ccc69a7ee78cd8","datavalue":{"value":"10.1016/J.JPAA.2010.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q531324$1E223F77-1A86-45A4-9946-F2A12B2EA242","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e1a029b680c0a4a49b727675ecb5d8d4e97f5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2869327,"id":"Q2869327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3667e9a1f585bcdbf9aab100d30e59b3b18ecfa0","datavalue":{"value":{"amount":"+0.8949434161186218","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":"Q531324$5EEF664A-CAE7-4F72-9067-02A1A57F9357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb9d1b91e687f44f0384b9e6deae992f77108bd","datavalue":{"value":{"entity-type":"item","numeric-id":4631636,"id":"Q4631636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e182c6b6cbb4302972959f202fdf9014ec70b24","datavalue":{"value":{"amount":"+0.8054181933403015","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":"Q531324$63F6B673-80B0-4576-B8B6-FFA9D75D7B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783be7b38120ac65db99667fc8768b5d0b843806","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbd7819df4d962ea2f79d12b584aa3867adfc8c","datavalue":{"value":{"amount":"+0.798997163772583","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":"Q531324$D894E35A-5BEC-4304-B3FB-CC560A5D24DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2b958ab624d672a0dfb9bdff29326493ea86b3","datavalue":{"value":{"entity-type":"item","numeric-id":5248254,"id":"Q5248254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c64600c5610d57345e1bfa0487860f00c3886ff","datavalue":{"value":{"amount":"+0.7973439693450928","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":"Q531324$40736049-31C6-41FF-8934-DFF0A4EF9913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56ec49587d5a0c1df6bf6fc341690934f201f9ca","datavalue":{"value":{"entity-type":"item","numeric-id":722244,"id":"Q722244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5bb931af1aa48693b424bb5f0d00dd3e1d6a26","datavalue":{"value":{"amount":"+0.788640022277832","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":"Q531324$2A8BA148-1B38-4A00-BF6E-08137621B2AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monads in double categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monads_in_double_categories"}}}}}