{"entities":{"Q6862432":{"pageid":20671213,"ns":120,"title":"Item:Q6862432","lastrevid":84247568,"modified":"2026-05-14T04:16:26Z","type":"item","id":"Q6862432","labels":{"en":{"language":"en","value":"Integration of a categorical operad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156152"}},"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":"Q6862432$569CF104-609F-435E-8143-5300BE071731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"692fda82ffd5e5ab5f4518a76bd8181c2ad70011","datavalue":{"value":{"text":"Integration of a categorical operad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6862432$346739B4-2E4A-4D19-991D-A7A076A74E48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daa310c7bf79691b94c4b1fce771deff221eadfe","datavalue":{"value":{"entity-type":"item","numeric-id":6120734,"id":"Q6120734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$BC9F99D0-4050-4FDB-942A-7327571676C7","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":"Q6862432$CADB850C-D221-493C-83FF-9BB32DC5C998","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36798a9367dd4f65c7b2f0e18c37acb2a3e004d3","datavalue":{"value":{"time":"+2026-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6862432$6BE9DD9E-89A5-4778-8693-2EDD6A37AD7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ce3d696ebcdbb77851428b6e4e91e9a7a3f7f91","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/45/3/45-03abs.html#vol45","type":"string"},"datatype":"url"},"type":"statement","id":"Q6862432$F65FB736-3014-4B98-898D-F29EF2A8B1B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d8d64a4937254441438db2c57729abff1c2f5bb","datavalue":{"value":"The author wishes to describe operadic integration or operadic Grothendieck construction [\\textit{M. Batanin} and \\textit{M. Markl}, Adv. Math. 285, 1630--1687 (2015; Zbl 1360.18009), p.17] as a fully faithful functor from the category of operads. This paper aims to find a suitable codomain of the integration functor and to characterize its essential image for operad valued in the category of categories.\\N\\NThis paper is a follow-up to [\\textit{D. Trnka}, ``Operadic fibrations and unary operadic 2-categories'', Preprint, \\url{arXiv:2410.05064}], where the integration is described for categorical operads of unary operadic categories, i.e. operadic categories whose cardinality functor has a constant value 1. The author's long term goal is to develop the integration for categorical operads of operadic categories of general cardinalities. The current paper makes a step in this direction by deriving the results for a relatively simple non-unary operadic category \\(\\Delta_{s}\\) of finite non-empty ordinals and surjections.\\N\\NFor a constant-free non-symmetric operad \\(\\mathcal{P}\\), a 2-category \\(\\int\\,\\mathcal{P}\\) is constructed, together with a projection \\(\\pi:\\mathcal{P}\\rightarrow\\Delta_{s}\\). The author describes its properties, introducing a 2-categorical generalization of (non-symmetric) operadic categories (Definition 2.12). The author also introduces a non-discrete version of operadic fibrations, showing that the projection is a splitting operadic fibration (Definition 2.17, Definition 2.18 and Theorem 3.1). The author finally arrives at Theorem 3.8, which gives the equivalence of constant-free non-symmetric categorical operads and split-fibered (non-symmetric) operadic 2-categories. Lastly, Propsition 4.3 relates the results to the standard case of categorical presheaves and categorical fibrations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$C3E17091-F4ED-4514-A1E3-7859C1039F86","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":"Q6862432$3151D3F1-EB96-4CAB-A872-2FDA1B21FE8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862432$8726EDD0-E3C3-498F-BC01-D012B6F96952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862432$0AB630FC-81E5-4924-AD80-1E56EDCA8E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b332f22ba73c0cb6c10d285d7a5c485aaccad9b9","datavalue":{"value":"18M60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862432$40ACD8F1-9739-4785-AE38-193F31AE324B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862432$5F15C650-6F3F-4426-8C92-3553EE9EC01D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5d1b72b218abc2fe819a289b3ee28cbbd63ff35","datavalue":{"value":"8156152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6862432$6796A610-04D1-42DA-BEB6-9569369D01E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1930e4bd76acfc6653ca8d2f72941229956755cc","datavalue":{"value":"Grothendieck construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$93C8AA91-8CB6-493E-9257-E20D7ED59014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"845cd0f8e8945b624f2f7d37cda6df659a6222e4","datavalue":{"value":"categorical operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$28CE0C03-AA80-41B0-892E-78861CCB1EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec0631565ebde35d187cc0059ef452a7b66aefd","datavalue":{"value":"integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$E13DA21B-2891-49E5-8F8C-FA61BD0F886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d4465bc0d2fa1d988e518134bd08cd68cdb7267","datavalue":{"value":"non-symmetric operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$411FC9F6-1ABF-4E3D-9B9C-5F69E3DF7130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$ADCAEC62-CEB7-44EA-AD0D-D21FEB741DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844763a835309f31b5de27f2efbb22c87028ff5b","datavalue":{"value":"operadic fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6862432$3FB0639C-C6C8-47C4-BC86-1289611B8087","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":"Q6862432$A79BCCE5-7124-47ED-A5FE-79ABE6E01325","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93564b4fb911a349555efc801930fbc4a906a529","datavalue":{"value":{"entity-type":"item","numeric-id":2461790,"id":"Q2461790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$6FA8AEC4-24EF-45BB-8A1C-54DBB0D86421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c859b750c68ca633d0ddbd32b3f22520597ff0","datavalue":{"value":{"entity-type":"item","numeric-id":2963473,"id":"Q2963473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$054AE0B9-0CF4-4B98-8D20-545AC58102D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b84359d582d756d07bfe16e02a62ce06d1b131","datavalue":{"value":{"entity-type":"item","numeric-id":887344,"id":"Q887344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$C428F05E-2B7E-4445-961F-C407F1A16BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffd7326be1020c3cdf58539771e83e21d82065b","datavalue":{"value":{"entity-type":"item","numeric-id":6050003,"id":"Q6050003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$5205C42D-520A-4579-84BA-CA8319C73946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ad93018b2de27f83ea45e36b323a9d62d5bab0","datavalue":{"value":{"entity-type":"item","numeric-id":6154441,"id":"Q6154441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$109ABEE3-7244-4789-863B-17B670A52086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5320c0d315400c1fb287450f7e959a581cee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5688182,"id":"Q5688182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$C9A053B2-E7BA-4A12-89B9-1E3E9DC45943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a88ec808459f840eeb53ae25a68d09a7000066","datavalue":{"value":{"entity-type":"item","numeric-id":6161788,"id":"Q6161788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$9666FD38-A657-4DE4-8D5A-E533237ABC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf5f5afd1f0cd9b9b07dad424a1825e757a4a87","datavalue":{"value":{"entity-type":"item","numeric-id":5268441,"id":"Q5268441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$F4BDB77A-1727-487E-BF19-29850ABE7134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e9eaaaa80a0ca8f9fb93e183a48c2ed7d8cdf2","datavalue":{"value":{"entity-type":"item","numeric-id":3386389,"id":"Q3386389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$E8F69185-D70A-48A4-ADEE-66D263D25789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1dbbf03c7f195d525f817e200bf8ce0d7700e6","datavalue":{"value":{"entity-type":"item","numeric-id":5269096,"id":"Q5269096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$5DAE834A-82AA-453A-B3AD-958645D35C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2527fd83a5a0029b794e9616ef059d026add93c","datavalue":{"value":{"entity-type":"item","numeric-id":3121019,"id":"Q3121019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$BB6DD82B-7DE3-4174-8BE8-8BCB069FBD09","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":"Q6862432$4ECAD87B-0872-4D94-929F-3823F16B9214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496bc1505e286571d4dd38d81b043312b018a08a","datavalue":{"value":{"entity-type":"item","numeric-id":7015307,"id":"Q7015307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$8097EDCC-0043-44F5-A3C5-4F47D45868C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e686333c28a4d4baeac9ac6aec23aa3ce38cfb36","datavalue":{"value":{"entity-type":"item","numeric-id":6120735,"id":"Q6120735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6862432$0D352E02-670E-481E-A241-862D4B612A96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integration of a categorical operad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integration_of_a_categorical_operad"}}}}}