{"entities":{"Q847610":{"pageid":849458,"ns":120,"title":"Item:Q847610","lastrevid":64824408,"modified":"2026-04-11T22:28:06Z","type":"item","id":"Q847610","labels":{"en":{"language":"en","value":"Sheaves of ordered spaces and interval theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673034"}},"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":"Q847610$8A2DF722-158A-44FF-94FA-76727839456D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f124da495b947645f05d7658538a62f3fefb229","datavalue":{"value":{"text":"Sheaves of ordered spaces and interval theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q847610$4ADDCF8D-9DEB-44BF-B315-A97342F943C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"944b3006dbbd322d5ff61419dc2653e82f25cfc6","datavalue":{"value":"1194.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847610$668067D8-1436-45F5-9F18-3326A4CCAD4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb961c0b7c0556d525b1e6c1f6f91bbbe3019d52","datavalue":{"value":{"entity-type":"item","numeric-id":847609,"id":"Q847609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847610$52AEBF86-C1E3-44C6-A36F-3B465DA4196C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847610$95ED094B-F023-4CF4-9FFB-280223DA8FD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85234f39531997a347f4d50a9efbe49d53e3c771","datavalue":{"value":{"time":"+2010-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q847610$0ADDB085-BB75-453B-B688-B5E690493078","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64af2e1ff5e47340504fa385356356bb86c32b16","datavalue":{"value":"https://arxiv.org/abs/0808.1820","type":"string"},"datatype":"url"},"type":"statement","id":"Q847610$53AC894E-8A6A-4EE1-8609-7FBFE1E8BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"38d7cfde84848203a4c0dd52f44801dca4232bf9","datavalue":{"value":"http://www.emis.de/journals/JHRS/volumes/2010/n1a3/abstract.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q847610$8A573C6C-2F78-4F85-ACA7-9CF1545515DD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"185e892c414f2101aba308ca0760ab64ae3278f8","datavalue":{"value":"In this paper, two important variations of the notion of directed homotopy [\\textit{L. Fajstrup, M. Raussen} and \\textit{E. Goubault}, ``Algebraic topology and concurrency'', Theor. Comput. Sci. 357, No.~1--3, 241--278 (2006; Zbl 1099.55003)] are studied. On the one hand, ``Di-homotopy'' (see cited paper) and, on the other hand ``D-homotopy'' [\\textit{M. Grandis}, ``Directed homotopy theory. I'', Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 44, No.~4, 281--316 (2003; Zbl 1059.55009)]. The relationship between these two notions of directed homotopy has been a recurrent question for some time.  The present work can be seen as an effort to give a homotopy theoretic answer to this question. The author studies the homotopy theory of locally ordered spaces, that is, manifolds with boundary whose charts are partially ordered in a compatible way. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. Based on interval-based model structures in Grothendieck topoi [\\textit{D.-C. Cisinski}, ``Th\u00e9ories homotopiques dans les topos'', J. Pure Appl. Algebra 174, No.~1, 43--82 (2002; Zbl 1015.18009)], a natural notion of morphism of intervals is introduced. Given such a morphism, there are in particular two model structures on the same topos, induced by the source (respectively the target) interval. The relationship between this model structures under additional hypotheses is investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q847610$191C219B-A713-4955-BA44-15F32E90A58C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847610$4AAB1950-88C5-4412-9073-3ACF6C46A6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847610$CD330B6A-53FD-4763-A928-0C93095311E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff648c6a576a4358eff626454f794af47f860372","datavalue":{"value":"5673034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q847610$118CE2A2-ECED-404F-B2ED-6A627F0AC294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a2c2eac98b6178b11221a037f9ee2583f0535a","datavalue":{"value":"directed homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q847610$493EB6D8-B733-49D2-8ED1-A757E16FAA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d8a53eecb982a4a1a5c90bbcb1ed6f4e271695","datavalue":{"value":"locally ordered spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q847610$4B4D5A79-DA4F-4875-9ED6-291967D45E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q847610$CB52DFCB-886F-44C9-A787-C5E6DD136963","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"307cbb4390f9bbc9c21fd2c952255c5e7f7dc8a5","datavalue":{"value":{"entity-type":"item","numeric-id":690857,"id":"Q690857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q847610$04A2C535-DDAA-4EAB-BF74-D4E6130081EE","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":"Q847610$3B24C1DC-5028-431A-A2F8-202E47858805","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0619c34d1159b5da76fffdae878c106398cdc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4681921,"id":"Q4681921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c529e9981a64fbf39be93d8ccc73168b752377","datavalue":{"value":{"amount":"+0.9247577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$729F567F-2F18-42B0-B89E-BFA949FD9E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7023449512f4ca094f18fcb6a3befb18a9d9c8","datavalue":{"value":{"entity-type":"item","numeric-id":5445440,"id":"Q5445440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ca25b9b690d315a538e3454a129cbde9ec1845","datavalue":{"value":{"amount":"+0.902336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$F8B43DAF-2DEE-4B50-8893-A437C5ED02C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3536534f60a93f454496bc4006bb2c987d3bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4856949,"id":"Q4856949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0f47b273d6fec965c01b592b772b762316d829","datavalue":{"value":{"amount":"+0.89634967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$2E32BB65-2939-4714-877A-565ACFBF2B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b65b1f365e9564669c5c6f231b6b9f09eccfa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1077521,"id":"Q1077521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258bcfc4010d10a94be0f6a0615c60b4ecbf7b88","datavalue":{"value":{"amount":"+0.89392173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$E65887C0-B5E0-402C-B7B1-A035A291238C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57e15105e367900a423a8b947d1c9047f58a773","datavalue":{"value":{"entity-type":"item","numeric-id":4909908,"id":"Q4909908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfcda4b08f2a42c6d92cbb88f81dac0e174e365","datavalue":{"value":{"amount":"+0.89139265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$F26DD003-0543-48E5-9196-D59C2A963518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dcb1558689d3ecc7d9651b39c490783f1929a2","datavalue":{"value":{"entity-type":"item","numeric-id":1895943,"id":"Q1895943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbdbd15544cdeba4c8226e5856e1eca3a608aa9","datavalue":{"value":{"amount":"+0.8908781","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$D7863974-ACD7-4CC4-9583-CD0772F8F178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eba0057ff6fb095be2bce4140631973cc4df6c6","datavalue":{"value":{"entity-type":"item","numeric-id":3139898,"id":"Q3139898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b60a1c4b169b6ebaf3b3ed3a4bfe5c62c56634","datavalue":{"value":{"amount":"+0.888716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$008E7B01-6B0D-425E-95E7-55CEF15EFB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd37bae820a67c48e317db5906ff3ccb97e2b7d8","datavalue":{"value":{"entity-type":"item","numeric-id":5168120,"id":"Q5168120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de6f72dd991b7cbad5815c2590c76b8355e3b82","datavalue":{"value":{"amount":"+0.8877816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$89B928A7-3B31-44DC-B3DC-91ECC1995D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa52274c22471b84d375d42c533b9f0f57de7770","datavalue":{"value":{"entity-type":"item","numeric-id":2874237,"id":"Q2874237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f738c10542f57413766e19d2a7761d2ab5324ac","datavalue":{"value":{"amount":"+0.88458264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$4765290D-0042-4FB5-AC7F-C29D440F9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08810497e91371f87534930ab4b57c1531d23e17","datavalue":{"value":{"entity-type":"item","numeric-id":3754036,"id":"Q3754036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc3ae71a0e8ce4e630b216c2a53b8344efe10c1","datavalue":{"value":{"amount":"+0.8833325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q847610$493F02E7-8818-4712-9832-2808C0C9E658","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sheaves of ordered spaces and interval theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sheaves_of_ordered_spaces_and_interval_theories"}}}}}