{"entities":{"Q1398527":{"pageid":1409267,"ns":120,"title":"Item:Q1398527","lastrevid":71095302,"modified":"2026-04-13T19:26:46Z","type":"item","id":"Q1398527","labels":{"en":{"language":"en","value":"Operads in the category of convexors. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956441"}},"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":"Q1398527$EFD755B7-354C-4312-B878-478F52FFC7B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1badfa1f576d272c02cf033bb9f239df666dff7","datavalue":{"value":{"text":"Operads in the category of convexors. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398527$DC67AFE0-8F72-4125-8895-CD33AE9C6F46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e596ce944364914696856dd2f60c6b7c27f1b856","datavalue":{"value":"1040.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398527$C282E7E2-32D2-4826-BBDD-5CE0FDA44B8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398527$8E5151E3-6BAB-41B2-8AB0-26F5743EB2BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64db27fb3ea247a1dd3413855939d2d1738245f3","datavalue":{"value":{"time":"+2003-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398527$E03217B4-24A6-4179-9F38-60B2D1D2B346","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68274ecb2a3a4ea3a8e0f7c658ece2c45a1e79d2","datavalue":{"value":"A convexor is a set \\(A\\) together with a family of operations \\(\\alpha: A\\times A\\to A\\), \\(\\alpha\\in [0,1]\\), such that for all \\(\\alpha,\\beta\\in [0,1]\\), \\(x,y,z\\in A\\),   \\hskip17mm (1) \\(\\alpha(\\beta(x, y),z)= (\\alpha\\cdot\\beta)(x, \\alpha-(1\\cdot\\beta)/(1- \\alpha\\cdot\\beta)(y, z))\\),  \\hskip17mm (2) \\(\\alpha(x,y)= (1-\\alpha)(y,x)\\),  \\hskip17mm (3) \\(\\alpha(x,x)= x,\\quad 1(x,y)= x\\).   Convexors play a role in the theory of probabilistic automata and stochastic matrices.   It is clear from the definition that convexors can be described as algebras over a suitable algebraic theory, which cannot come from an operad in the classical sense because condition (3) requires diagonals. For this reason the author extends the notion of an operad: instead of actions of the symmetric group \\(\\Sigma_n\\) on the \\(n\\)th set of an operad he allows actions of suitable subcategories of the category \\({\\mathcal F}{\\mathcal S}et\\) of finite sets \\([n]= \\{1,2,\\dots, n\\}\\). The permutations are an example of such a subcategory.   The author then defines an operad \\(\\Delta\\) whose \\(n\\)th set is the \\((n- 1)\\)-simplex \\(\\Delta^{n-1}\\) (it can be viewed as the topological realization of \\textit{C. Berger}'s complete graph operad [Contemp. Math. 202, 37--52 (1997; Zbl 0860.18001)]) and extends its structure to an \\({\\mathcal F}{\\mathcal S}et\\)-operad. He then shows that the category of its algebras is the category \\({\\mathcal C}onv\\) of convexors.   Finally, he introduces the tensor product of two convexors and proves that \\(({\\mathcal C}onv,\\otimes)\\) is a symmetric monoidal closed category.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$5293DBF4-E03B-41D8-A925-CE46A6CE2158","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37e56e01762594b88bb0c896953a034ba0518800","datavalue":{"value":{"entity-type":"item","numeric-id":276569,"id":"Q276569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398527$B329F8D7-498D-4A71-8C1B-2DD735B5B476","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398527$D9CC9462-ED08-411D-96AF-39A1D8272D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0657b38d33102649f2f5881bf34640a78b8d196","datavalue":{"value":"60-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398527$29790B41-C49E-488E-BBAF-AC4AB14E6749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398527$A9E8FBEB-4D20-46A2-8DA5-04BC27BBCEC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead2a511f12c67e71bcddd364439cae3c5eba325","datavalue":{"value":"1956441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398527$1CE5CC13-50EB-4390-A514-A590F9E8967E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c388ec62fc33d880cc91500e88c35f6f4c4c756","datavalue":{"value":"convexor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$FC9C3F8E-4CCD-4316-8967-1FF363BE2030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$DD46D43E-EE9E-4989-998A-3CC3D72A3464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29eae965adfa31739b0f5e8282fd27aafe544f","datavalue":{"value":"stochastic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$57242E33-7447-4107-B9F8-980DBE5E9EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$D896067A-8132-49AC-A9E3-55695F9C4035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e8a5a5b0e21b87a3f2fe69db3efce2b9d2930f","datavalue":{"value":"complete graph operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$5B5887C1-809D-44DC-B5DD-52AF99878CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad80aebe80196423fa694ed46354ee45d24df48d","datavalue":{"value":"symmetric monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398527$8C4D2C9F-3BD5-4091-AEA2-820BC5592C63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc43e82aad30fcc33cf1e85d0dcf1220e2d05b86","datavalue":{"value":{"entity-type":"item","numeric-id":283084,"id":"Q283084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398527$2ACE3540-9F36-4D4C-A24A-923E614BF3F1","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":"Q1398527$FD68057C-9E0E-4661-9D68-4F50641AC00E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7324278ed2d97a18e58b29add06acf96049cabf1","datavalue":{"value":{"entity-type":"item","numeric-id":1398504,"id":"Q1398504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ea86f818cff3f0037e924ac483bb62d963b8ae","datavalue":{"value":{"amount":"+0.9193357229232788","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":"Q1398527$4211FC75-9A19-41FA-B471-7D4884BCEF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e820f871d89e14c9c1e95253b331b08b811c38","datavalue":{"value":{"entity-type":"item","numeric-id":3724394,"id":"Q3724394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35d3e2d3f5dfcdac3a918390903f38d97825a0b","datavalue":{"value":{"amount":"+0.798462450504303","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":"Q1398527$98A6841F-7C7D-479B-937D-2D9BBA209A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0fd67a026dfd19f7d9965dc5386047e3eead3c","datavalue":{"value":{"entity-type":"item","numeric-id":3712361,"id":"Q3712361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9b48f512026715eaf8beb1e0d65989877ab8ffc","datavalue":{"value":{"amount":"+0.7947764992713928","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":"Q1398527$E81F8D84-2903-4137-9D00-47DAE9FC302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb24efd5242a6ac8b2941615b69b4394251e0e13","datavalue":{"value":{"entity-type":"item","numeric-id":3728959,"id":"Q3728959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227f293df6e694d2325acc55a6658199d4024535","datavalue":{"value":{"amount":"+0.750216007232666","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":"Q1398527$8752D802-DBB0-413C-B62A-65EE8C7F83DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ab1de16880a4419e5935b4c246ab429265c6ab","datavalue":{"value":{"entity-type":"item","numeric-id":2341527,"id":"Q2341527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3203d6f71fdd050618734794d4addc6cf3b0d025","datavalue":{"value":{"amount":"+0.7357272505760193","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":"Q1398527$BB2141E1-23D0-4996-9783-B87207F1B5E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operads in the category of convexors. I.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operads_in_the_category_of_convexors._I."}}}}}