{"entities":{"Q1174751":{"pageid":1185500,"ns":120,"title":"Item:Q1174751","lastrevid":47038669,"modified":"2025-12-31T11:34:30Z","type":"item","id":"Q1174751","labels":{"en":{"language":"en","value":"M\u00f6bius species"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 9367"}},"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":"Q1174751$C4F27E10-D96A-42AB-9106-4EE189A31D5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd81be8bf8c8220a2ada32d3db60f5bcb90ffee3","datavalue":{"value":{"text":"M\u00f6bius species","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174751$442B9E46-DE36-4820-9842-9DA71EFD6E89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f30dec45aaa3d1b93de816bbee275ffbdad953","datavalue":{"value":"0752.05060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$6DC7164B-C682-48D3-B025-027D3A99F694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2950e718c95f78c0dcf336cfd14af9c98268278","datavalue":{"value":"10.1016/0001-8708(91)90051-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$221CE4C9-2A9D-45B3-BD77-46F625C05E26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$4349445C-19E9-4631-B01C-A15CDFDC20D7","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":"Q1174751$29B65B8E-C96D-4655-AC4C-3306A07247EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174751$0F16002A-176A-4A39-A214-3466F0B370FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cb602fa0e8dbfca9db81b78d56174dc57549641","datavalue":{"value":"This paper is a contribution to bijective proof theory in combinatorics connecting \\textit{A. Joyal's} theory of species (a concise review of it is given) and \\textit{G.-C. Rota's} theory of M\u00f6bius functions of posets. The theory of M\u00f6bius species developed here yields a natural set-theoretic interpretation of power series with integer coefficients. The base category is the category \\({\\mathbf Int}\\) of finite families of finite posets with unique maxima (\\(\\hat1\\)) and minima (\\(\\hat0\\)), where the morphisms are poset- isomorphisms. A M\u00f6bius species is defined to be a (covariant) functor \\(M:{\\mathbf B}\\to{\\mathbf Int}\\), where \\({\\mathbf B}\\) is the category of finite sets and bijections; \\(\\text{M\u00f6b} M(x):=\\sum_{n\\geq 0}\\| M(\\{1,\\ldots,n\\})\\|{x^ n\\over n!}\\) is called the M\u00f6bius generating function for the M\u00f6bius species \\(M\\), where \\(\\| A\\|:=\\sum_ I\\mu_ I(\\hat 0,\\hat 1)\\), \\(I\\) runs through (the posets of) \\(A\\in Ob{\\mathbf Int}\\), and \\(\\mu_ I\\) is the M\u00f6bius function for \\(I\\). Now, there are introduced an appropriate product \\({\\mathbf x}:{\\mathbf Int}\\times{\\mathbf Int}\\to{\\mathbf Int}\\) and combinatorial operations for M\u00f6bius species (sum, product, divided \\(k\\)-th power, substitution, derivative, pointed species), and the associated M\u00f6bius generating functions are proved to satisfy equalities being analogous to those for Joyal species. Furthermore, M\u00f6bius inverses for a Joyal species \\(M\\) are constructed in order to get a set-theoretic interpretation for the additive inverse, the multiplicative inverse, and the compositional inverse of the Hurwitz series \\(M(x)\\), the generating function of \\(M\\). For this end there is developed a general theory of \\(c\\)-monoids. The \\(c\\)-monoid on \\(M(E)\\) with \\(E\\in Ob {\\mathbf B}\\) induces a partial order, and considering appropriate intervals of the resulting poset, M\u00f6bius species (e.g. the additive inverse \\(-M\\)) with the desired properties can be constructed. Finally, the theory of M\u00f6bius species is extended to the case of several variables (multivariate M\u00f6bius species).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$A29BEE10-2525-454F-B3DF-B4D05FFBCF2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8de4726dadd4d804f8da0a9b26e1822a2c0c7b53","datavalue":{"value":"05E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$A70A0405-60F7-4670-9555-9CE13D84F5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$0592AF22-8D9A-4B7A-B159-2780B9C32412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$6AEBA505-D253-4BF6-AF33-7574D50DDC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$6D389D38-96E9-4D69-B0C1-72BD5C36045D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$3BDC581D-7C30-49B7-AB82-5FF287567D3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25f1cce23b609f54963e16995eee0dd0e460d243","datavalue":{"value":"9367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$F6AFB831-A8E0-45F1-B788-113EA25A36BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$ABED7FD5-6C98-4A05-99C6-B578305FE928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd04b2cc505cb409797e572750d2f2642129dfb","datavalue":{"value":"generating function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$48778F56-EBBD-41DB-935E-594C8F99F2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$FD2C3244-932D-436B-8A65-C7EFCFC5B9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379272f926eea761941679f116e9dbee4c3f3d1e","datavalue":{"value":"M\u00f6bius function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$C2CB8628-6FD1-4F4D-BBC3-9917CD442BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf54b8d83f69b6c0bc117706cf5a9d39c8751e9","datavalue":{"value":"M\u00f6bius species","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$1FD10AF8-2BDA-49B1-B5A8-C775EAD8D142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1aba76da62eb82da97fd7f5ce85e42f4343381d","datavalue":{"value":"\\(c\\)-monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$57DE0855-0E67-4A94-A965-CB1A3CFC7F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc86d6408db62344a8d69198784035abbacf00bd","datavalue":{"value":"Joyal species","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$9369D215-711D-4715-A1F0-B02BBBF2EFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5febcdb36c78fc20c97968894f6081dda9894f96","datavalue":{"value":"Hurwitz series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174751$EECDCA57-76C1-4F66-A527-DAC94F8BB21E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab25d4f22422fef1c0f819f04a582c1dc09a95d9","datavalue":{"value":{"entity-type":"item","numeric-id":878647,"id":"Q878647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$8C3965B8-5D1D-4337-B957-48D3909D7EE4","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":"Q1174751$77D8AFD4-C3E4-4A56-8FC9-D0B147EE1580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c39a4633ab4860a8206d9e93cdea6e0e89a8e568","datavalue":{"value":"https://doi.org/10.1016/0001-8708(91)90051-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1174751$AD562AE4-F0B7-4C6D-BFBF-23AC3CC7F99F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f7b48a5018b9d496b9920d3c961522c91357ae8","datavalue":{"value":"W4210678655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174751$6DEC923D-A59B-41A6-8D11-E9BA8980CE9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf330337c74a0243fedefd10644893ab1c993a4","datavalue":{"value":{"entity-type":"item","numeric-id":5685088,"id":"Q5685088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$5F115814-16A7-4DF5-8288-843C93E1CC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29301a509113c45de062f0b80fe1014c5c0dd20b","datavalue":{"value":{"entity-type":"item","numeric-id":1156798,"id":"Q1156798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$DBA68671-3CCE-43DB-979E-7F9919A03363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45eefd5ccd2777e1be13ec76f30409464e7f03db","datavalue":{"value":{"entity-type":"item","numeric-id":4177572,"id":"Q4177572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$0EEF324D-7F4C-47B0-8067-5F6279A3A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$DF2B000B-CA8A-4D3F-A439-00E2121C59EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13dc600469eb8ead2df41e39430d5792fee095c4","datavalue":{"value":{"entity-type":"item","numeric-id":1102291,"id":"Q1102291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$D851BE94-67AC-4B12-9278-D96ECEBFD153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced183b26d76623a2c45cbdc460253e8db00a304","datavalue":{"value":{"entity-type":"item","numeric-id":1096633,"id":"Q1096633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$99F5308C-B373-400D-93E5-C490A30C5BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036e3a00a1315789724adda2282ce34d01cc645d","datavalue":{"value":{"entity-type":"item","numeric-id":4170731,"id":"Q4170731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$215F5A06-6927-439D-AA41-E02F115D519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$B4444D5C-D52B-4294-A30F-DEA0026426DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd60af18f0633c108ff3a0dbcb8549710f6c4891","datavalue":{"value":{"entity-type":"item","numeric-id":1837184,"id":"Q1837184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174751$F394AFCF-9A98-436E-96B8-CCF8CB01FB89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618ee84589f0445c75bc309079d58f6b74872f11","datavalue":{"value":{"entity-type":"item","numeric-id":1367041,"id":"Q1367041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87e87f95144d96bd7f08766f8c9817f8d6c3e3a","datavalue":{"value":{"amount":"+0.8966960310935974","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":"Q1174751$73F383DD-9234-4C11-8A0A-6FEB7E996C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0698eddc89e5a5ed3fc1164e584ce1f5934c9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":690032,"id":"Q690032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ddee57f3190e58f6c651ea259e1e234b0a9fcb","datavalue":{"value":{"amount":"+0.8325782418251038","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":"Q1174751$E900634E-2FBE-462F-B397-F5B1394A0C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d99ebb5bafea55e9ce41053b90b7f1e16e2790","datavalue":{"value":{"entity-type":"item","numeric-id":4375247,"id":"Q4375247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7b934e0cdd08c54e5e8043f0533bab18b54ef6","datavalue":{"value":{"amount":"+0.8294239640235901","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":"Q1174751$23C45DF1-8A21-4163-AEF7-2784FDCDC430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45489457ff0b700dc2b48707cd9cb931f9f8a55c","datavalue":{"value":{"entity-type":"item","numeric-id":1328501,"id":"Q1328501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cec06b6c86bf83ea66c3ba59d619b57145a44fc","datavalue":{"value":{"amount":"+0.8176494836807251","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":"Q1174751$3B07A876-168A-436B-9FDC-67872275D564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def29fd333bff4dc5a571d573cff2ea5ed7e5fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3752561,"id":"Q3752561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cec06b6c86bf83ea66c3ba59d619b57145a44fc","datavalue":{"value":{"amount":"+0.8176494836807251","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":"Q1174751$436EA350-BDE4-4722-B843-C39B3345AD6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1174751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1174751"}}}}}