{"entities":{"Q411784":{"pageid":413551,"ns":120,"title":"Item:Q411784","lastrevid":56897850,"modified":"2026-03-24T12:40:33Z","type":"item","id":"Q411784","labels":{"en":{"language":"en","value":"Factorizable enriched categories and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029103"}},"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":"Q411784$21D1D264-2A5F-4577-906A-FDA01E4F6CE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8708caf2379c338c1fadcd9620733c9f95255aaa","datavalue":{"value":{"text":"Factorizable enriched categories and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q411784$47FBF4A9-0D35-4461-8D6B-171FC5AC90AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c081816c04a1e336cb2fe21992311b2ea75ba451","datavalue":{"value":"1257.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$6FBE06F3-7DBC-467B-85CF-C4121D4DF5DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8616375d028c79332b6ac986916d574090213783","datavalue":{"value":{"entity-type":"item","numeric-id":411783,"id":"Q411783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$D0D51290-1CF8-464F-8958-7E23FA990D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f54e33bf969ab33351fafb2bf608b83f079f66ee","datavalue":{"value":{"entity-type":"item","numeric-id":318946,"id":"Q318946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$AD6BC96F-E0CB-4704-92FE-2DB8BC11EDCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$07A8DF0C-C51A-4F6F-95FB-8BC3B866B5F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdd307946b0c4fd21d440328dcf2bb17a96e05e8","datavalue":{"value":{"time":"+2012-04-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":"Q411784$0C8360F3-FF66-4216-A4BE-4B4F8367E803","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7028f0db192e15c653d8e37fd70d4dbe6a784915","datavalue":{"value":"https://arxiv.org/abs/1112.0781","type":"string"},"datatype":"url"},"type":"statement","id":"Q411784$9F5DC174-A175-4870-B2C6-6C052CB095ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"52b2c36e27b6644bb3124c8bcd4995b5ea898474","datavalue":{"value":{"entity-type":"item","numeric-id":427776,"id":"Q427776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$95425B4F-487E-4E7A-AFFC-21F4466F127E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$04798463-3E03-45B9-8FD1-20C10A4100A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$9F59276B-0AA9-4B3F-BB09-D3D94E89C43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"829d3e9468c5da752f2ef9535b567c188684ea6d","datavalue":{"value":"16S35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$1A8DB0BD-0BFC-49B1-936E-6B3CAF884584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f34a24cfb1aaca482c7068fe6cee8625e4aecf","datavalue":{"value":"6029103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$F572296F-A92F-4BBB-99F8-1AA859C4A639","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q411784$01CCC2EC-7A45-4BF1-8C08-C2FFA627C4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68d401be19c24458fcc876f3c290a64ad6cf83d7","datavalue":{"value":"twisting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q411784$4F605786-D36A-4FFB-BBCB-6192B0B29246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa6e83a800c94e269df819c1a514ee2e95aade9","datavalue":{"value":"twisted tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q411784$C2389056-16A8-4918-B72B-183B0532400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7285f3e16fd5b0dec1b19d81c82c1a5ae3a26a09","datavalue":{"value":"matched pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q411784$0F692BB7-5103-425E-953B-7EEAAEE2D928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f38b5decb47efe72ec851293e484991f207cd40","datavalue":{"value":"bicrossed product","type":"string"},"datatype":"string"},"type":"statement","id":"Q411784$4874D3D6-665B-478E-A0EC-74F321724EE2","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":"Q411784$5926BA64-EF5E-44F3-8945-D1845186E48B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6acddac936df5791ded8b10bc2af43b27ba54c59","datavalue":{"value":"W2029480639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$C9989137-57C2-480E-A37D-053E0E995CA8","rank":"normal"}],"P223":[{"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":"Q411784$5EE1D135-A0CB-4E18-A24E-00B404DF4681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b098d01a4b6021563281c6ec46ec5727fba1d037","datavalue":{"value":{"entity-type":"item","numeric-id":5939564,"id":"Q5939564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$34EEBDD8-DCDC-452C-9688-699209F6E2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee34b88725ae812bfaa8c30753483b05c0267e59","datavalue":{"value":{"entity-type":"item","numeric-id":533951,"id":"Q533951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$5CE52CBE-C874-4D3B-A6DF-0B9FF96106B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e410167e45436b53530bcc77bc382c5ed53d719c","datavalue":{"value":{"entity-type":"item","numeric-id":1570891,"id":"Q1570891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$6E32D7B9-B92C-4ED8-AAAC-20AE2552D841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c59baeb84e7706d80a1f31016856066cf9512d","datavalue":{"value":{"entity-type":"item","numeric-id":4852274,"id":"Q4852274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$E56BC2F4-15DF-478D-BD36-AA36B6824A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9fa783e076db0183eac5ea046bafe89eb31aaf6","datavalue":{"value":{"entity-type":"item","numeric-id":881968,"id":"Q881968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$C6332412-B329-486E-B997-326C07C25EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa9d600550a869c66b0ffc552aafe1a401b4ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5506100,"id":"Q5506100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$DFFF065F-2973-421A-9A77-C9E1F75FEF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$076E819C-5FBF-4BBC-8603-BEF4F16D4E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f607db4141499ef8bfa5726ceb08483e241870","datavalue":{"value":{"entity-type":"item","numeric-id":3156500,"id":"Q3156500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$A613CC8E-D3DD-47D1-AA26-5D653D75401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baeac37e0f9bfe1994691ad4908511fa020bb034","datavalue":{"value":{"entity-type":"item","numeric-id":908997,"id":"Q908997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$15556203-7230-40D0-B080-53DED02D39EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7aa66693d073de4fc4013c0e70eb32de27fa6","datavalue":{"value":{"entity-type":"item","numeric-id":4857364,"id":"Q4857364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$9D1960EF-8664-45B8-8E37-0E1F28D62B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fd745f9bcb0a49d34aeb6509962ebd3361dd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4238518,"id":"Q4238518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$ED1409F8-7270-49B4-860A-311F526D93DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce995d8d22ba7eb34f752ac5945aaa8fde4b02a","datavalue":{"value":{"entity-type":"item","numeric-id":1850107,"id":"Q1850107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$6116A214-40D6-456A-B659-94BE57E3483B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a93e3cb14693b6332ef42d313b8929f264cc3a3","datavalue":{"value":{"entity-type":"item","numeric-id":2648345,"id":"Q2648345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$5118E35E-4ACD-478F-9ABC-97F600C53C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c698c4ce4c1f25436dc77692b0af3fe847179a","datavalue":{"value":{"entity-type":"item","numeric-id":3904724,"id":"Q3904724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$FD137673-1FF4-4EB4-9100-08740F24083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8759294a143dc4304dcbbd6499a2cc4ede40631","datavalue":{"value":{"entity-type":"item","numeric-id":3204630,"id":"Q3204630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q411784$34EE46A2-966C-44FA-8D12-2CCADD01EB61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41853d4dca3352a8f577ed4c5827e6497a5d26ab","datavalue":{"value":"10.1016/J.JALGEBRA.2011.08.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q411784$C5DA571C-274A-41CA-823D-5E75953B5013","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cdef1c640f1fa2e4fb49e4070253145e20b286a","datavalue":{"value":"For \\(S\\) a fixed set and \\(\\mathcal M\\) an \\(S\\)-distributive monoidal category the notion of factorizable enriched category \\(\\mathcal C\\) over \\(\\mathcal M\\) is introduced. It is then shown that to every enriched category \\(\\mathcal C\\) over \\(\\mathcal M\\) that factorizes through two enriched subcategories \\(\\mathcal A\\) and \\(\\mathcal B\\) of \\(\\mathcal C\\) corresponds a twisting system between \\(\\mathcal A\\) and \\(\\mathcal B\\). The converse is true for simple twisting systems \\(R\\), in which case an enriched category \\(\\mathcal A\\otimes_R\\mathcal B\\) over \\(\\mathcal M\\) that factorizes through \\(\\mathcal A\\) and \\(\\mathcal B\\) is constructed. \\(\\mathcal A\\otimes_R\\mathcal B\\) is called the twisted tensor product of \\(\\mathcal A\\) and \\(\\mathcal B\\).NEWLINENEWLINEIn the case when \\(\\mathrm{Coalg}\\mathcal M=\\mathcal (M^\\prime)\\), the monoidal category of coalgebras in a braided monoidal category \\(\\mathcal M^\\prime\\), it is proved that there is a one-to-one correspondence between simple twisting systems and the so called matched pairs of enriched categories. Similarly, if \\(\\mathcal A\\) and \\(\\mathcal B\\) are thin categories then any twisting system between \\(\\mathcal B\\) and \\(\\mathcal A\\) is simple and corresponds to a unique match pair of categories.NEWLINENEWLINEConcrete examples of (simple) twisting systems are given in the last part of the paper where are investigated the simple systems of enriched categories over \\(Set\\) (the category of sets), of algebras in \\(\\mathcal M\\) or \\(\\mathrm{Coalg}(\\mathcal M^\\prime)\\), and between posets and grupoids, respectively. In particular, the bicrossed product of groups, the twisted product of (co)algebras and the double cross product of bialgebras are recovered in a natural way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q411784$07116349-7930-435F-8222-866F158C5B98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd735de10ba7992151e87effbae57ab5ea95ec27","datavalue":{"value":{"entity-type":"item","numeric-id":5305997,"id":"Q5305997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac9af217625c1ac875164db24752bd02b4e6552","datavalue":{"value":{"amount":"+0.7584636211395264","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":"Q411784$F017DED8-51F9-4B81-92A7-6318A1B8DAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab08219c627b7f001aa82268d54d86600da82f2","datavalue":{"value":{"entity-type":"item","numeric-id":2749079,"id":"Q2749079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe2b2e013f90134795384e16b7bb78db5038ff7","datavalue":{"value":{"amount":"+0.7510574460029602","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":"Q411784$2E456127-F739-40E6-9B8D-6843394D37A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a905f140753568fc6193842aba474606bf32f47c","datavalue":{"value":{"entity-type":"item","numeric-id":2348544,"id":"Q2348544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4c9b11f7d26fb5bbb674a34dff67ca401f7b60","datavalue":{"value":{"amount":"+0.7390099763870239","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":"Q411784$8440682B-D769-4087-AC79-7F09B3ACDD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c3907344c33d7d7f975d98663c320b7efd49f1","datavalue":{"value":{"entity-type":"item","numeric-id":2107655,"id":"Q2107655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cbdeb5dd841a93ac0b9bf06d88d4a70e0deba9","datavalue":{"value":{"amount":"+0.7365326285362244","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":"Q411784$C4D07B09-03F8-4095-9054-D24EE8133C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd00eb3cc04eff75f9763f97f402ebadda761931","datavalue":{"value":{"entity-type":"item","numeric-id":4419461,"id":"Q4419461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d998e48afda6d101fa38ca9466b0f00ae79955b","datavalue":{"value":{"amount":"+0.7346786260604858","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":"Q411784$3F32A411-35B9-42DC-A4FB-0E6637FB73D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:411784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:411784"}}}}}