{"entities":{"Q479315":{"pageid":481082,"ns":120,"title":"Item:Q479315","lastrevid":62249382,"modified":"2026-04-11T04:47:41Z","type":"item","id":"Q479315","labels":{"en":{"language":"en","value":"Cyclic structures and the topos of simplicial sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377285"}},"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":"Q479315$7AB87E66-62BA-4142-957A-EE1E21C8FDBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"911fd70bf829de2d4b590aa62fcda8bad7c9d9db","datavalue":{"value":{"text":"Cyclic structures and the topos of simplicial sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479315$52B49A8F-D037-4B33-AE56-E2BABCEA515B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c346ff4a4b6763058b342ce94b794d667d4702b9","datavalue":{"value":"1328.19005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$0C2D87B0-EAEC-4925-AF55-5062909EE569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3ef95708c997794e27487c8fb8f543d0e04df4","datavalue":{"value":{"entity-type":"item","numeric-id":196416,"id":"Q196416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$93B6F5DD-6DC6-45D9-A283-DC8336F8D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377c7264e1f37f2ecaac7a8623311b43236e9d51","datavalue":{"value":{"entity-type":"item","numeric-id":282691,"id":"Q282691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$7A5DE6E1-5A8D-4F4E-AA29-4F1A26D31187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$A3170E93-1DB9-4957-8BE0-1E8553663089","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479315$70CE9B35-8F62-4A7A-AEFD-A598B3ABAAF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ca0c5f836f1ef46b0f14f8b52b6145104907fe0","datavalue":{"value":"https://arxiv.org/abs/1309.0394","type":"string"},"datatype":"url"},"type":"statement","id":"Q479315$2450019C-256A-4E4B-AB90-D397B4FB034B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f76a4c9ef387b7f1d12bfd4aab63fc28d3118eb9","datavalue":{"value":"Recall that for a cyclic set \\(X_\\ast\\), its geometric realization \\(|X_\\ast|\\) carries a natural action of the unit circle, \\(S^1\\) [\\textit{J.-L. Loday}, Cyclic homology. 2nd ed. Berlin: Springer (1998; Zbl 0885.18007), Section 7.1.4]. The main result of the paper under review is to extend this result to the topos of simplicial sets and describe all resulting cyclic structures. Let \\(\\Delta\\) be the usual simplicial category and let \\(\\hat\\Delta=\\mathfrak{Sets}^{\\Delta^{\\mathrm{op}}}\\) be the functor category called the topos of simplicial sets. For a point \\(p\\) of the topos \\(\\hat{\\Delta}\\) with associated flat functor \\(\\mathfrak F:\\Delta\\to\\mathfrak{Sets}\\) [\\textit{S. Mac Lane} and \\textit{I. Moerdijk}, Sheaves in geometry and logic: a first introduction to topos theory. New York etc.: Springer-Verlag (1992; Zbl 0822.18001)], a cyclic structure on \\(p\\) is defined as an extension of \\(\\mathfrak F\\) to the cyclic category \\(\\Lambda\\). To the point \\(p\\) there corresponds an interval \\(I\\), defined as a totally ordered set with a minimal element \\(b\\) and a maximal element \\(t\\), \\(t>b\\). For \\(p=p_I\\) a point of \\(\\hat{\\Delta}\\), the cyclic structures on \\(p\\) are classified by the left-ordered group structures on the set  \\[ G=(\\mathbb Z\\times I)/\\sim, \\]  where \\(\\mathbb Z\\times I\\) is given the lexicographic order and the equivalence relation \\(\\sim\\) is generated by  \\[ (n,t)\\sim (n+1,b),\\quad n\\in\\mathbb Z. \\]  Let \\(c:\\mathbb Z\\to G\\) be the injection of sets given by \\(c(n)=(n,b)\\). Proven is that a cyclic structure on \\(p_I\\) corresponds to a group law on \\(G\\) so that: {\\parindent=0.7cm \\begin{itemize}\\item[(i)] The order relation on \\(G\\) is left invariant. \\item[(ii)] The restriction of the group law of \\(G\\) on \\(c(\\mathbb Z)\\times G\\) is commutative and is given by  \\[ c(n)(m,u)=(m,u)c(n)=(n+m,u),\\quad n,m\\in\\mathbb Z,\\quad u \\in I.  \\]    \\end{itemize}} It should be noted that there exit points of \\(\\hat{\\Delta}\\) that support no cyclic structures and that points of \\(\\hat{\\Delta}\\) associated to finite intervals have a unique cyclic structure. The paper is carefully written with the details of the cyclic category \\(\\Lambda\\) and the cyclic structure \\(\\Lambda\\to\\mathfrak{Sets}\\) (extending \\(\\mathfrak F:\\Delta\\to\\mathfrak{Sets}\\)) explicitly given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q479315$17F56406-FB60-44BE-8026-B75FA65CD77D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c45524e46da0052597cfcd4513236acc8f1095","datavalue":{"value":{"entity-type":"item","numeric-id":590851,"id":"Q590851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$2A221E32-B9B6-4A96-BCE9-C4B01DA2DA64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"29809340e83938f44ddde1ea70aa5ac9cf46faca","datavalue":{"value":"19D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$5D85E23B-7591-47DD-AE02-09FA00FF2523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$6D87794A-920D-4094-8EA0-177445E66DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$BF25CC00-A888-48DA-BF26-B0238493FB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$360A434D-5BC7-4A15-A737-6140419EBB91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a957f85d78ae5647fc723260dbc92e622b67e0e5","datavalue":{"value":"6377285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$C9BFCBDA-ED27-44BB-BBDE-25CBDAB0B431","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a8022e6be650e4a6ee19e7e291c2b92f8057967","datavalue":{"value":"cyclic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q479315$C4C37034-05A1-43E3-9F06-3B16FA71BB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f088e497165c10606d6e531fe96a1558aab83583","datavalue":{"value":"circle actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q479315$26EE4E0D-EE92-44EE-8B17-612ADAE75A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45978cc1f07424b684d69690e94e969bb5cd8ab","datavalue":{"value":"topos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q479315$B16855DC-8DC7-49ED-9E35-10D5BD187B16","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":"Q479315$3B2E4D93-4E20-4D29-A292-4325335CC053","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f11bd7487d8d9cbca1d1e18e248b5cb656a86dc5","datavalue":{"value":"W2963180762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$85567CDF-99E6-4CB6-8263-7734909EB1AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc499535103ed8b359925104957d9f8eb61931a","datavalue":{"value":{"entity-type":"item","numeric-id":1774117,"id":"Q1774117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$8F479DCF-1EE6-4807-8570-8A55B7EC0109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb8e3b188369e013c4c5b890aad8affb5c68c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1099842,"id":"Q1099842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$F160DEE0-029B-41A2-A8A2-FD7D835561B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f063b4acad721f1f22640decc1d6ce2b03f57343","datavalue":{"value":{"entity-type":"item","numeric-id":3317281,"id":"Q3317281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$0815FECE-4E2A-49A4-9245-96BC88AF808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b056ec72411e490aa1550f026388f0de44dcc560","datavalue":{"value":{"entity-type":"item","numeric-id":5482622,"id":"Q5482622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$715C7271-1F53-4BD6-B711-8655487B5F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9446ae282090ceaf5314eabf334ce79ba6c7204","datavalue":{"value":{"entity-type":"item","numeric-id":3774051,"id":"Q3774051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$E28FEACE-C471-4EC6-A0A4-8909FB8C5D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1d328a1bc63d1dc12f07aa04c2e4937aac32f","datavalue":{"value":{"entity-type":"item","numeric-id":4266133,"id":"Q4266133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$2EE10D12-BB3C-4BC6-AB9B-B396A350706B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03cb37c6967b0fc2484a8fc27a0af54c12f3efd","datavalue":{"value":{"entity-type":"item","numeric-id":1061204,"id":"Q1061204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$0ED2D380-EC94-45D4-9F7A-990125AB0FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320816838f1778267da4832936264b1354509cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1102576,"id":"Q1102576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$6FC6DA6F-27E8-4F51-A63D-6510B8D0C4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49079cd348e938824a380b57237ead7bab7269d2","datavalue":{"value":{"entity-type":"item","numeric-id":4367927,"id":"Q4367927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$FE694C26-C35F-48DF-BCE4-E50B2E547D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd11a457343c87c0c7574cad4b9b964c341f5cff","datavalue":{"value":{"entity-type":"item","numeric-id":3204651,"id":"Q3204651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479315$B39BB0BA-794C-46D4-94B5-9C9DEABD36B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c3b6f72859275cb52f63dbd5b3de58347f12d0b","datavalue":{"value":"10.1016/J.JPAA.2014.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479315$8C86712B-2591-46EE-9593-0D371243F8A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933cfa6d68aea9486643646f09542cccbf93b480","datavalue":{"value":{"entity-type":"item","numeric-id":899686,"id":"Q899686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2136daf7b039fc054f8096c8ce9b0f0c731934e1","datavalue":{"value":{"amount":"+0.7746276259422302","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":"Q479315$9E36373E-E1C0-4D48-B245-4889DEDFF039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00ed58c44cf2728cbf1ed3c414190eed6c8988c","datavalue":{"value":{"entity-type":"item","numeric-id":4660482,"id":"Q4660482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cb1d5162f9a2bf3a7411b7c44c2af95cfea26a","datavalue":{"value":{"amount":"+0.7494583129882812","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":"Q479315$F9489EB2-56D9-481B-B02E-F4255C91AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dd39658b799cff8385406db5f13a70f3f5b513","datavalue":{"value":{"entity-type":"item","numeric-id":3725191,"id":"Q3725191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec7524748518874a7228948ed8b9984d2568c96","datavalue":{"value":{"amount":"+0.7488593459129333","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":"Q479315$79848743-A556-4E40-AC51-9FAE048CDA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d63b0ce3c3bede23f1b059654bd73bf59956083","datavalue":{"value":{"entity-type":"item","numeric-id":1948310,"id":"Q1948310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9c0b9db288b5135768a073838beafeae46ab26","datavalue":{"value":{"amount":"+0.7353681921958923","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":"Q479315$0BD52A00-4731-4396-86FB-B20B82292228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bd6f45222520681193f472df0fda3d4fd0a26c","datavalue":{"value":{"entity-type":"item","numeric-id":1892303,"id":"Q1892303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68dd3156a0b2a4022d3242d6e04a51d84a2b62b","datavalue":{"value":{"amount":"+0.7324656248092651","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":"Q479315$6F2032AC-4AE1-4AAE-ABD9-CC776D2176FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cyclic structures and the topos of simplicial sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cyclic_structures_and_the_topos_of_simplicial_sets"}}}}}