{"entities":{"Q984889":{"pageid":986737,"ns":120,"title":"Item:Q984889","lastrevid":57306669,"modified":"2026-03-30T08:59:43Z","type":"item","id":"Q984889","labels":{"en":{"language":"en","value":"Polynomial functors and opetopes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5758040"}},"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":"Q984889$77A9DDA1-819A-476F-A0B2-D3903857222A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4170f497246e97dc1d25d6ad9db0b53f832d4ea5","datavalue":{"value":{"text":"Polynomial functors and opetopes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q984889$9A76D59B-16C4-4EA3-9A0B-81B74D73B631","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce2a0c9ee84c53b2b28cf4680da2830a47e806dd","datavalue":{"value":"1221.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$2BABE34C-166C-4C5A-AADB-A5F9ADB2C93E","rank":"normal"}],"P16":[{"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":"Q984889$283867B9-3CDC-4C1D-A8DA-7F092A7D7CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33bf7bc5a80929535b51ec1ba6ab3cc259e7893b","datavalue":{"value":{"entity-type":"item","numeric-id":687579,"id":"Q687579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$B93E7702-B778-4D19-908F-0ABC9367C847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59a8491958cf7a6a16afc81f9c6816292dd63b9","datavalue":{"value":{"entity-type":"item","numeric-id":984888,"id":"Q984888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$B1BA7349-0FAE-4115-8B7E-CE19B2B0CB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d947b6f07c64814192fa66fdfd84bb6d77b66e51","datavalue":{"value":{"entity-type":"item","numeric-id":961995,"id":"Q961995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$DE85E1DB-0DED-4878-BED2-977CB3D94F40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$B57109D0-C275-4625-96AA-2246D944ED63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49725197d5403193e6793b874c212de8a1d5fa7b","datavalue":{"value":{"time":"+2010-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q984889$0D145C11-B819-4BF9-A96A-F83693718B12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"507b35c4b5aefbf6dbc76d3f6db635b5ce8c8f87","datavalue":{"value":"https://arxiv.org/abs/0706.1033","type":"string"},"datatype":"url"},"type":"statement","id":"Q984889$ABD0A042-0F91-4398-8A61-3CD5CE8C7484","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76d3f634389b963e74ac062b1c1f7f2900c9a4ee","datavalue":{"value":"Opetopes are combinatorial structures that were first introduced by \\textit{J. C. Baez} and \\textit{J. Dolan} [Adv. Math. 135, No. 2, 145--206 (1998; Zbl 0909.18006)] as a way of parametrizing higher dimensional operations present in weak \\(n\\)-categories. The theory of opetopes has been subsequently developed by several authors, but the persisting difficulty of this subject has been the fact that various proposed definitions of opetopes were very involved and abstract.  The goal of this paper is to amend this situation by giving an elementary, combinatorial description of opetopes that is based on the language of trees and nested families of spheres. While this description is relatively short, the bulk of the paper is devoted to showing that it coincides with the Baez-Dolan definition, or more precisely with the variant of that definition introduced by \\textit{T. Leinster} [Higher operads, higher categories. Lond. Math. Soc. Lect. Note Series 298 (2004; Zbl 1160.18001)].  The paper concludes with several concrete examples showing how the new definition can be used to compute sources, targets, and compositions of opetopes. In the appendix the authors describe also a machine implementation of the ``calculus of opetoes'' based on their definition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q984889$8C086327-9963-4F03-8AE2-1532C6D38E73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cb7882c5ecbbafe3b88b335bc3f8016a7d157a93","datavalue":{"value":{"entity-type":"item","numeric-id":315254,"id":"Q315254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$2EA4E200-999A-48E1-BDF9-8ABFBEDAE3AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$CA3F7584-F342-49C8-B387-479DCC47F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$18B960B8-B428-42F2-9CB9-11A0B0AE00B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f8ff1bc7135bb1a5f4ce6282771b53dfaffbb01","datavalue":{"value":"18-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$2EDDC9DD-48B6-4FC6-A83F-97A4BDAC32DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"054cd579c7b012baded67890d8f8c211bd409db6","datavalue":{"value":"5758040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$522E7935-40D1-4C30-AA80-070CBDB12A70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ce74c3901abd6659c45ab6741ca62ba566400b","datavalue":{"value":"opetope","type":"string"},"datatype":"string"},"type":"statement","id":"Q984889$8BB0C0E3-2292-4D1B-9C94-E85772E1B031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78be4d3b793bd75d9505bb5b6a4a100fbd761799","datavalue":{"value":"polynomial functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q984889$BEB01B44-5A2E-479C-A3BC-A68966F981B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q984889$5DEE3F55-8265-41FB-A4F8-139F9E99635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q984889$915046F4-EFD1-47C7-9738-A295152D6585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240ca1d06d43e81e96b0b24ba64d795d3c229391","datavalue":{"value":"higher category","type":"string"},"datatype":"string"},"type":"statement","id":"Q984889$40CC61E1-C83D-4533-842E-609612840D6C","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":"Q984889$81F93DF7-C8AF-4F6B-A0A2-41CD2AB153FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f265a7f36254291b566b3b7d8c2f38fb30c84da","datavalue":{"value":"W2022608773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$5624C600-94AF-4634-9314-79E9F4E707C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f232788c1284c721f20ce7311229d354e476f157","datavalue":{"value":{"entity-type":"item","numeric-id":1267982,"id":"Q1267982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$EA43FD46-B4E7-43FD-B532-484758E6C902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d649a7aca13fe76b21c512610746907d53f45b6b","datavalue":{"value":{"entity-type":"item","numeric-id":4444125,"id":"Q4444125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$EBEBA17E-DA73-42B3-B41B-94FA71F6664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06d6c06ffdae54e8260c2a3da8e2e71339f5158","datavalue":{"value":{"entity-type":"item","numeric-id":1421253,"id":"Q1421253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$D9B0D71B-1FBE-4918-BA35-B70480C14F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7985eff4787a6287adbdccf7615792a66ed0cf1d","datavalue":{"value":{"entity-type":"item","numeric-id":1426337,"id":"Q1426337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$7F95C03E-A2D8-4B01-93C4-A8F0FB63BB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334fcf782ee7fd1609a31f606a10949b069fa90a","datavalue":{"value":{"entity-type":"item","numeric-id":5481576,"id":"Q5481576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$7B9F160E-ABC2-4614-9D10-EB224F2461F1","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":"Q984889$02A72F5C-7122-4490-A4C5-20FA5484A7C9","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":"Q984889$57826D80-35ED-4456-8D7F-8225AD86FE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8c6f0dd1916b82da45fb121df98a7ae5b53be0","datavalue":{"value":{"entity-type":"item","numeric-id":1588075,"id":"Q1588075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$CADB2C71-F2AE-4619-A493-5FC1005B3CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388bd315250df79fc08fc1aa92faa99a9d8c7808","datavalue":{"value":{"entity-type":"item","numeric-id":909013,"id":"Q909013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$A40824A2-4E7C-4A8F-87D1-81B1426F27AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffb4567268f55e00f2a9b950ed90f5b8c435f4","datavalue":{"value":{"entity-type":"item","numeric-id":5701019,"id":"Q5701019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$A2B42C5E-126D-486C-B43E-97AFF8D35712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3dd3e620863368f34cd4f6d9845d4430d1bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3079528,"id":"Q3079528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$830C6E0B-9EAB-457A-AAD1-246C5DB4E50E","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":"Q984889$9409D4DB-D592-4CFB-B13D-F440B19DBD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2327fbd9d544c4775755facc5ee3c956115fabe","datavalue":{"value":{"entity-type":"item","numeric-id":4663643,"id":"Q4663643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$BB9525FF-4845-4CAB-B0FB-6EFB51C4E9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d02aa98cb4f9e38d943cd9a82bdc54ffe2beaa","datavalue":{"value":{"entity-type":"item","numeric-id":912202,"id":"Q912202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$674F250B-306F-4409-9AB3-FFA2615DC2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d296011b356ac405dcd4299d35df39fecc91e1","datavalue":{"value":{"entity-type":"item","numeric-id":3978986,"id":"Q3978986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$925C4AD9-34F8-4A31-AE0E-441ED7924763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q984889$DA6B2F5B-C4E8-4C57-81D0-789AC1911462","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bb87473c48eda83db2717226ecf1965dd20c03b","datavalue":{"value":"10.1016/J.AIM.2010.02.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q984889$024CC99E-A990-412E-B106-BD688CE68C51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f753160c51ce055622d330a0c30fe792ba41bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5094698,"id":"Q5094698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3f5d268f0f9244f990a3866557786395c653c3","datavalue":{"value":{"amount":"+0.8329532742500305","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":"Q984889$7463959D-CB43-401A-A43E-7596E33A1781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e5236e5e10914296fc0cc0d3757fed17e155be","datavalue":{"value":{"entity-type":"item","numeric-id":1426337,"id":"Q1426337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b5dbf24a4e25cf6506ecfa94a25b9c30443e48","datavalue":{"value":{"amount":"+0.7949052453041077","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":"Q984889$53FB0C4F-237B-44F6-9BE4-9E80B4F3F3B0","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":"7bcb706de8d0dce6827250d8229e410489aa75e1","datavalue":{"value":{"amount":"+0.7907572984695435","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":"Q984889$1AB6409D-87AF-4BFE-92A4-E6DA94C03385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d3a803e58eb49928f05e4592bc5d0b5a7a777c3","datavalue":{"value":{"entity-type":"item","numeric-id":5094693,"id":"Q5094693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c30816b7642c155505ff5f844824388debe5dc","datavalue":{"value":{"amount":"+0.774594783782959","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":"Q984889$570E7317-DA0E-4825-B4A4-89D708B16168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957d6e73c5ca80a70a69879dbab8e8cbbaecec21","datavalue":{"value":{"entity-type":"item","numeric-id":3079528,"id":"Q3079528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2594751a89c4ff7b0f1bca8e5c42c8968c199f5b","datavalue":{"value":{"amount":"+0.7680793404579163","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":"Q984889$384038CC-B82A-45B2-B2FD-DFAEB9C3A3C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:984889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:984889"}}}}}