{"entities":{"Q2263813":{"pageid":2274556,"ns":120,"title":"Item:Q2263813","lastrevid":57815571,"modified":"2026-04-02T15:55:53Z","type":"item","id":"Q2263813","labels":{"en":{"language":"en","value":"Ramified coverings of small categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416959"}},"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":"Q2263813$920EFB4C-C564-4B7F-8CF0-7B3C1EE0E0B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29b64e16ad578a4d2060d701108b79813032efb7","datavalue":{"value":{"text":"Ramified coverings of small categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2263813$21BFEAA0-8DA6-4FA0-BE96-B7EA3EF600A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d567f1039363cdda65db9335b9b426ae5b054c4c","datavalue":{"value":"1318.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$F1D57859-67BE-4665-9FD1-4C1C7FB3AB24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f8278f938f6c8dc5314751363f9ffb81c99d76a","datavalue":{"value":{"entity-type":"item","numeric-id":2263812,"id":"Q2263812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263813$A6FB9705-965C-49A4-A3EA-C2A7C3BD3BB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263813$54CDBF85-E67A-4C56-9095-4B0A146B8562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2263813$92A4B5E4-4727-4F16-83B8-AECB9E40BF2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"974ca43fb7478e5cda828c650f183d1091538844","datavalue":{"value":"https://arxiv.org/abs/1303.7046","type":"string"},"datatype":"url"},"type":"statement","id":"Q2263813$5A879346-DD09-47B8-90B5-02EE910E0888","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"906978e90f53a4986db4c86e0e6891a80856d7bc","datavalue":{"value":"Given a (small) category \\(C\\) and an object \\(x \\in C\\) let \\(S(x)\\) denote the set of all morphisms in~\\(C\\) with source~\\(x\\). Similarly, denote by \\(T(x)\\) the set of morphisms with target~\\(x\\).  A functor \\(P : E \\rightarrow B\\) is called an \\textit{unramified covering} if \\(B\\) is connected, and if \\(P\\) induces bijections \\(S(x) = S\\big( P(x) \\big)\\) and \\(T(x) = T\\big( P(x) \\big)\\) for each object \\(x \\in E\\).  An equivalence relation ``\\(\\sim\\)'' on the set of objects of~\\(E\\) is called an \\textit{equivalence relation for ramification} if \\(x \\sim y\\) implies \\(P(x) = P(y)\\), and if for distinct objects \\(x \\sim y\\) implies that either both \\(S(x)\\) and~\\(S(y)\\), or both \\(T(x)\\) and~\\(T(y)\\) are trivial (contain the relevant identity morphism only).  Given an unramified covering \\(P : E \\rightarrow B\\) and an equivalence relation for ramification on the set of objects of~\\(E\\), the author defines a new category \\(\\tilde E\\); its objects are equivalence classes \\([x]\\) of objects of~\\(E\\), and its morphism sets are given by the formula  \\[ \\hom_{\\tilde E} \\big( [x], [y] \\big) = \\coprod_{a \\in [x] \\atop b \\in [y]} \\hom_{E} (a,b) \\;, \\]  with composition induced by that of~\\(E\\). Setting \\(\\tilde P\\big([x] \\big) = P(x)\\) defines a functor \\(\\tilde P : \\tilde E \\rightarrow B\\) which is called the \\textit{ramified covering of~\\(P\\) by~''\\(\\sim\\)''}.  Based on these definitions, the author proves three results. First, an analogue of the Riemann-Hurwitz formula holds for ramified coverings of finite categories (Theorem~2.5), relating the series Euler characteristic of~\\(\\tilde E\\) as defined by \\textit{C. Berger} and \\textit{T. Leinster} [Homology Homotopy Appl. 10, No. 1, 41--51 (2008; Zbl 1132.18007)] to the series Euler characteristic of~\\(B\\):  \\[ \\chi_{\\Sigma} (\\tilde E) = d \\cdot \\chi_{\\Sigma} (B) - V \\;, \\]  where \\(d = \\# P^{-1} (b)\\) for any object \\(b \\in B\\) is the degree of~\\(\\tilde P\\), and where \\(V\\) is given by \\(V = \\sum_{[x] \\in \\tilde E} \\big( \\#[x]-1 \\big)\\).  Second, again for ramified coverings of finite categories, the zeta function of~\\(\\tilde E\\) is computed in terms of the zeta function of~\\(B\\) (Theorem~2.6):  \\[ \\zeta_{\\tilde E}(z) = \\zeta_{B} (z)^{d} \\cdot (1-z)^{V} \\;, \\]  with \\(d\\) and~\\(V\\) as before. The zeta function ``enumerates'' simplices on the nerve according to their dimension,  \\[  \\zeta_{C}(z) = \\exp \\Big( \\sum_{n=1}^{\\infty} {\\# n\\text{-simplices in }NC \\over n} z^{n}\\Big) \\;, \\]  and has been analysed by the author [Doc. Math., J. DMV 18, 1243--1274 (2013; Zbl 1291.18023)].  Finally, it is shown that the geometric realisation of a ramified covering of small (not necessarily finite) categories yields a ramified covering (Theorem~2.7 and Corollary~2.8).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263813$62C89D80-5392-4B99-AAC0-AD2FCE0FECE1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d4e5a974cc2c5825ac305d32c171b7a6b3ce1331","datavalue":{"value":{"entity-type":"item","numeric-id":590264,"id":"Q590264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263813$B0F1A845-8947-43FB-8257-8A9009F3C98F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$11DBDDD0-2F3A-4A70-BA20-E824B45E3894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$CB387902-63A8-4FA6-BDE7-F06552C10EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90c4d1fd6435ac35a02645a3f9aecc61b77b2b8e","datavalue":{"value":"55R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$AB7C17DA-7B23-4A35-907D-42A398C29556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5cc3d2dda9f6cab4414397afae9e1a176c247cc","datavalue":{"value":"57M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$0C2FE546-2680-45EB-A6E2-F1E567CFD6D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95726360e3ac7e049844e02648cb674788060594","datavalue":{"value":"6416959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$138DFFF4-38DA-4D35-A0B8-E5C30C9F8C5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c0f1792b79c9c40be8619dedfe44dadeb90339","datavalue":{"value":"covering of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263813$FCEAE07D-B312-40E3-8A54-779725251955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2bec9f4bb5e354b5fc8b29dd803399d467c38ef","datavalue":{"value":"Eueler characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263813$37C0FE99-3D04-4093-8F30-AE5801A2894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18043ce842406adf7d9e4c8f3cd17b240a5165a","datavalue":{"value":"zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2263813$3F2C3C7D-734A-49C1-A8EF-FF34CDCF7830","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":"Q2263813$B23FD985-2007-4498-AD48-D105A6931F6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e2fcef22a48176edb6691acbdd43eae9e9e968a","datavalue":{"value":"W2963896543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$E2B4C1FD-CD6F-4771-98A9-FE55B1A38D72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03a2955239937ae2f02c4d60ee176c4787541a0c","datavalue":{"value":"10.4310/HHA.2014.V16.N2.A8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263813$A5C94577-E9A5-4136-8682-B00EBFA80017","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0367ca6d06f22dc74a2e18054bd4c27031d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":2378287,"id":"Q2378287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac6e79acb3248bbf78939d9119ad78222f62d16","datavalue":{"value":{"amount":"+0.7904029488563538","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":"Q2263813$B547AA63-317D-4DB6-AC4E-28B388DBBD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b254dcfb3a4ba261c55b54e291ea14a13a6998","datavalue":{"value":{"entity-type":"item","numeric-id":2437872,"id":"Q2437872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f0c532574b4fbfc72891b61bbb4551d3bc9c72","datavalue":{"value":{"amount":"+0.7706887722015381","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":"Q2263813$C508773C-404F-449A-9236-E3DDEAAFB720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8345e614f4ff1442223772c4257faed8e79c721b","datavalue":{"value":{"entity-type":"item","numeric-id":3785620,"id":"Q3785620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58a38b766f7cefdc6eb48114ea651c24ab3a89e","datavalue":{"value":{"amount":"+0.7612521052360535","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":"Q2263813$A66C4A12-2B3C-4531-96A4-C7A96BB89F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882155902c50e4674f2bbe872efe975f7dcfdb8f","datavalue":{"value":{"entity-type":"item","numeric-id":2990310,"id":"Q2990310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb53bf302df4bb54c476d8cdead980a6e2ccb62c","datavalue":{"value":{"amount":"+0.7517337799072266","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":"Q2263813$30282B1F-504E-4FFF-B6EB-7CC54D24F3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c0957cede1036d05fa581349604ac3d83e18d2","datavalue":{"value":{"entity-type":"item","numeric-id":1374872,"id":"Q1374872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f8643ea5969152b1ee089916f93bc5aaf5e0c6","datavalue":{"value":{"amount":"+0.7201036810874939","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":"Q2263813$6FE69252-B39B-4E10-BFB5-A00706BBF62D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2263813","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2263813"}}}}}