{"entities":{"Q272871":{"pageid":274638,"ns":120,"title":"Item:Q272871","lastrevid":60600279,"modified":"2026-04-10T17:58:19Z","type":"item","id":"Q272871","labels":{"en":{"language":"en","value":"Discrete Euler integration over functions on finite categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6571456"}},"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":"Q272871$105ED563-CD40-40D4-AED7-CA8CF470B2B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c467a204478abbdeca07faca6d6438f0620628a","datavalue":{"value":{"text":"Discrete Euler integration over functions on finite categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q272871$50F447BF-5478-4F4F-A219-CA2382FD2880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1c29011736fd3015417426a2bb2eabf59f5cdba","datavalue":{"value":"1353.55013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$2CD02914-7B83-4801-A21D-3CC5EDEF7476","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13abcc35f648381c52923a8b3c301d347f391227","datavalue":{"value":{"entity-type":"item","numeric-id":272870,"id":"Q272870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$70D9B222-3880-4334-8D25-1398B5515156","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$E20230FF-3A40-4BC3-BAAF-A03267C404D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfbb1de34f7051479a069f4e089aa9f4276a27a7","datavalue":{"value":{"time":"+2016-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q272871$05557C31-B6BD-436E-AA1E-0A8D9B5B4D8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8346462ec33f73925052991beac8a9d1d808c62","datavalue":{"value":"https://arxiv.org/abs/1508.03691","type":"string"},"datatype":"url"},"type":"statement","id":"Q272871$B8E01934-B350-464D-9BDF-4D8EC19DB275","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16c26e4ac190a2cc8301d13290ef2f97e240c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":590338,"id":"Q590338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$C7632B55-EC1E-4183-B7C5-8CF1D137C6AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$AFA26140-16E6-4320-88E3-C7E7812FDD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ffa8e8e61b33efb66bf686c7ec0aa26860af9d85","datavalue":{"value":"46M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$D48DEAA5-3EA8-4870-97FE-5AF64D184D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c20816b15de71eb2afe3565caf954727a3a64001","datavalue":{"value":"55P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$89812AA7-A2BC-4A11-B3B5-59429C71E551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"469a0e7ae76309a22a7f0e640841225d1e3d077b","datavalue":{"value":"6571456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$921D569D-148E-48B5-B9B4-23BBF53B58D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae6b73647501cddc60bea81c63e58401d0164fd","datavalue":{"value":"Euler characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q272871$4A75DF6F-D0B3-4247-B9E2-5F9DF932A4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade50c490e1cc8a686ac7cd102153e7883ec2810","datavalue":{"value":"finite categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q272871$34EB509B-1A4C-4379-8F49-6BFDDB06EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q272871$70A5E268-FAFD-4C7E-AAAA-8D12B37EC10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc109f95296b87cfe780d14c0a47db2d2f8836f6","datavalue":{"value":"theory of integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q272871$E6E33E06-76E0-4045-9BFF-DEBDBCAD911B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f360fe1c89cff111dc9c58d7592edce7f1333e04","datavalue":{"value":"sensor networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q272871$7D1E24F3-FCDA-4B4B-96D5-8950A0A1ACB6","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":"Q272871$7B5AAADD-9F88-4089-A075-DA5003899B17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caf2ab49778f17ed13a689e6cb99bc04127eaef5","datavalue":{"value":"W2963331746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$0718BCC8-4CDE-4A7B-979C-DFE594950C1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db2f085b374f1c150dfd055e35d0e920eb7d34a","datavalue":{"value":{"entity-type":"item","numeric-id":2762102,"id":"Q2762102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$2149F2C3-101C-4821-AAED-F72B23AB1EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a49fdece11e1e1f5e228d7805b7b8d3105121bf","datavalue":{"value":{"entity-type":"item","numeric-id":3575176,"id":"Q3575176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$E6728D00-C6F7-4F67-98C6-A3A98372888B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dd240da6a99909f351146be42af9fd8803bf36","datavalue":{"value":{"entity-type":"item","numeric-id":3073985,"id":"Q3073985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$83142D5B-39B8-43F2-A410-97B3454296DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de09306d27dafba4704ba0df4ed2696df3f4bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2479731,"id":"Q2479731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$767D3705-C143-4C34-AC13-1506DF3DC755","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":"Q272871$9A262CDB-248D-49E3-8D39-91118954FC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9fe514bba73e4d26474b5436bcfc97b0df5c398","datavalue":{"value":{"entity-type":"item","numeric-id":3488195,"id":"Q3488195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$13DB3B2A-0C72-4075-A2EF-B87B574939F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba54d3bbfcd93bc842d72205dab16a5f0eb1f057","datavalue":{"value":{"entity-type":"item","numeric-id":809235,"id":"Q809235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$A60FE4CE-1060-44AC-9F48-C1B8E27EA86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6b739e21220d870038f36ffe0993f8aa389378","datavalue":{"value":{"entity-type":"item","numeric-id":4279792,"id":"Q4279792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$305E061F-F9A7-4184-AFEB-FA714FC183F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92cebddd212ebd0a9406d9cba4faa189697a105","datavalue":{"value":{"entity-type":"item","numeric-id":4352817,"id":"Q4352817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$38E2C927-252F-49A6-9E8F-0619AF6013E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$879E4C24-F401-433B-B072-D3BF24F6A886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea96565e280dc8807249fcaa46aa08bbe23571a","datavalue":{"value":{"entity-type":"item","numeric-id":1688701,"id":"Q1688701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$F909D2DF-4AE3-496B-8EE5-9A09135D369E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe792f3a938ce1fadda39d62cbeeccffee4b836","datavalue":{"value":{"entity-type":"item","numeric-id":4204255,"id":"Q4204255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$17BF6954-9592-4171-83BA-054774CA5C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f65232f8d820f1816509edede8e6462d3f3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4937967,"id":"Q4937967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q272871$4D39FEAE-3F24-4F5D-913F-84B0E253C1F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6539af11aa73adb5c2c20d2d4f32223df96a98d2","datavalue":{"value":"10.1016/J.TOPOL.2016.03.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q272871$64E0B425-293A-4FCD-9F98-8143CF670C93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddc378cb865cbadef6e9b3d21a852c008dc204e5","datavalue":{"value":"The theory of integration with respect to Euler characteristics of finite categories is provided. This is applied to enumerating the targets lying on a poset by sensors. Baryshnikov and Ghrist proved in [\\textit{Y. Baryshnikov} et al., SIAM J. Appl. Math. 70, No. 3, 825--844 (2009; Zbl 1190.90041)] that the cardinality of the targets lying on a field can be obtained from the topological Euler integration of the counting function. In the paper, a discrete analogue of this result is obtained.NEWLINENEWLINETheorem 2.6. Let both \\(A\\) and \\(B\\) be either filters or ideals of a finite category \\(C\\). If each of \\(A\\), \\(B\\), and \\(A\\cap B\\) has a Euler characteristic, then we have \\(\\chi(A\\cup B)=\\chi(A)+\\chi(B)-\\chi(A\\cap B)\\).NEWLINENEWLINEIn Section 3, \\textit{constructive functions} \\(f: C\\to \\mathbb{Q}\\) on a finite category \\(C\\) are defined and \\textit{measurable} finite categories are introduced. The definition of Euler integration of constructive functions on a measurable category is given. A number of results about the Euler integration on measurable categories is obtained (Theorem 3.12, Theorem 3.19).NEWLINENEWLINESection 4 is devoted to the application of discrete Euler integration to sensor network theory. Let \\((P,\\leq)\\) be a partially ordered set. Its Hasse diagram is considered as a one-dimensional simplicial complex where \\(0\\)-simplices are elements \\(p\\in P\\) and \\(1\\)-simplices are pairs \\(p<q\\) for which \\(\\{r\\in P\\mid p<r<q\\}=\\emptyset\\). A \\textit{network with sensors} is given by a finite partially ordered set \\((P,\\leq)\\) and a subset \\(T\\) of the set of all simplices in its Hasse diagram. Elements \\(t\\in T\\) are called \\textit{targets}. A target \\(t\\in T\\) is said to be \\textit{below} a node \\(r\\in P\\) if \\(t\\in P\\) and \\(t\\leq r\\) or \\(t=(p<q)\\) and \\(q\\leq r\\). It is denoted by \\(t\\leq r\\). Each \\(p\\in P\\) has a \\textit{sensor}. The sensors return the counting function \\(h: P\\to \\mathbb{N}\\cup \\{0\\}\\) given by the cardinality of targets lying below it: \\(h(p)=\\{t\\in T\\mid t\\leq p\\}^{\\sharp}\\).NEWLINENEWLINETheorem 4.1. Given the counting function \\(h: P\\to \\mathbb{N}\\cup \\{0\\}\\) for a collection of targets \\(T\\) in a network \\(P\\), we have \\(T^{\\sharp}=\\int\\limits_{P}h d\\chi\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q272871$AC1FD83B-E67E-421B-A9A8-723F9A479786","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36f9ad12d88eed27219b4124797e2b1e3b72709e","datavalue":{"value":{"entity-type":"item","numeric-id":2364357,"id":"Q2364357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f91990fbb16decc5f9517a2da115a9ae025253","datavalue":{"value":{"amount":"+0.812233567237854","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":"Q272871$B6DA5491-80D0-4350-89F1-310E2F67ADFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71cd9d461d0c2e560e2d06524f95652cd6666a60","datavalue":{"value":{"entity-type":"item","numeric-id":3073985,"id":"Q3073985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d479cdf68639e7e1147388f4e86d781db91661","datavalue":{"value":{"amount":"+0.7725538611412048","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":"Q272871$58FF33B2-0F24-48B2-BF17-CE596CB01605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8c79795fd0fba4aa96d2fcc275fc1a7c779351","datavalue":{"value":{"entity-type":"item","numeric-id":3575176,"id":"Q3575176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffd83e70fe3b20ce456c856d36a593a64102e54","datavalue":{"value":{"amount":"+0.7597616910934448","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":"Q272871$6510F9B0-A887-4715-844E-88C8241619D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a43fa949445973363d2d6c3bcb7cb12db83e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2479731,"id":"Q2479731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac60f86a72af95aad6582669da99c3eaa6a9c4a4","datavalue":{"value":{"amount":"+0.743353009223938","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":"Q272871$D1B5200D-2A7B-4D3C-98C7-0699F3F6AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51e4e5f31aeebe24e3b1a5ca6170eda0cc3528f","datavalue":{"value":{"entity-type":"item","numeric-id":4837495,"id":"Q4837495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e55f3f4d0507d41a17bb5164f8d763d864665a0","datavalue":{"value":{"amount":"+0.7399556636810303","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":"Q272871$3493C01C-46C4-41CF-B058-EFD2CFCD6A7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discrete Euler integration over functions on finite categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discrete_Euler_integration_over_functions_on_finite_categories"}}}}}