{"entities":{"Q851539":{"pageid":853387,"ns":120,"title":"Item:Q851539","lastrevid":57173859,"modified":"2026-03-26T21:55:30Z","type":"item","id":"Q851539","labels":{"en":{"language":"en","value":"T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5074576"}},"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":"Q851539$EAB1B21A-169F-4DCA-8F4B-DD990664F36C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df64dc0d1326afa747bf90716cdfb6c034d67938","datavalue":{"value":{"text":"T-homotopy and refinement of observation. IV. Invariance of the underlying homotopy type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851539$755338D5-FA35-4922-BC93-9D46DB632D21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36bacc69278910e1a6eacf028808389eb8da4b40","datavalue":{"value":"1110.55011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$E6E91028-7C8C-44AB-8EEC-8E47051222B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04af14be06875b6d000c614c4e31adf700210869","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851539$4311D92B-A5B8-414C-8C07-B083E0E060B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851539$C125433B-7AC5-41BF-A949-CDECAC485285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e5404bd82e0784b557b1e990085133eebb42cc","datavalue":{"value":{"time":"+2006-11-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":"Q851539$8A1549D1-B205-4F69-AB59-A330985028D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e3e815e4d2e6563cea1bc20bce78be8bdd707a2","datavalue":{"value":"https://arxiv.org/abs/math/0505331","type":"string"},"datatype":"url"},"type":"statement","id":"Q851539$E858090E-8B6F-4DDB-A906-95D79A6434C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a79ea580c594e6541bbbf4dc905a433ea848dd6a","datavalue":{"value":"https://eudml.org/doc/127234","type":"string"},"datatype":"url"},"type":"statement","id":"Q851539$FCD6A4BD-FE97-4EA2-861A-BE55C2DC819A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb8a21e10fe1e1b5e1081c73e3f4413f1642ee98","datavalue":{"value":"http://nyjm.albany.edu:8000/j/2006/12-5nf.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q851539$876A652B-B00E-4C7C-AC2C-C681DEC66EAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15f28386f1fbe4fafc02bff9e287b7b8f4ea16b6","datavalue":{"value":"Higher dimensional automata (HDA) model the execution of concurrent processes. The execution trace of a set of concurrent processes is a path in a cube of dimension the number of processes. In modeling deadlocks and unreachable states one is led to the notion of dihomotopy which is a deformation of one trace into an equivalent one. To represent the notion that two such automata are equivalent the author earlier in [Homology Homotopy Appl. 5, No. 1, 549-599, electronic only (2003; Zbl 1069.55008)] introduced the notion of a T-homotopy equivalence. An HDA can be modeled as an element in the category \\textbf{Flow} of flows. The author describes a functor \\( {\\text \\mathbf Flow} \\longrightarrow {\\mathbf{Ho}}({\\mathbf{Top}})\\) from the category of flows to the homotopy category of topological spaces. The main result of the paper is that a \\(T\\)-homotopy equivalence \\(f: X \\longrightarrow Y\\) induces an isomorphism \\(\\mid f \\mid \\, : \\,\\mid X \\mid \\longrightarrow \\mid Y \\mid\\) in \\(\\mathbf{Ho}(\\text\\textbf{Top})\\). The proof make heavy use of the notion of a Reedy category. Although part of a series the paper can be read without having read the earlier papers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$024AEBBB-8CB3-4235-A174-AED60D520CA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$3DAF7E72-C34E-46C6-87C9-017F896283BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$F62DC090-E9FC-4168-B2C7-1DE1967DDA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$CA40D999-A45D-415D-B464-3AA299BCC18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$0D32366A-D749-464B-9CCE-215DE94C7881","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"120d43b6aa5f5cd9ad90d82f6af121a7b0973564","datavalue":{"value":"5074576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$32704DFF-DFBE-4427-9173-B82E91B19447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$86B97D0C-9E86-4A1B-B2FC-13E0493EC207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48909d91b240b12fdb290357a227713645c4e255","datavalue":{"value":"T-homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$78CAFEC8-C674-4732-BB51-C769B9BD7B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c3a98cde44024a3fd82ca73b0d4a1c950a7e16","datavalue":{"value":"dihomotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$D7A70EC6-E948-4332-A687-B89B80F30AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdc4f60c8e7a0c819d15162773dd356aec29168","datavalue":{"value":"Reedy category","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$DA79C6AD-6790-44AC-811E-7B00986F0700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcee6f7a74fc73c60f3deb8d985df5711d97464a","datavalue":{"value":"flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$C7A3EBCF-9878-4A2C-91EA-BB893FF399D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837aec0cbe9f8dc3ffae9b1dad6816157aa088f1","datavalue":{"value":"model category","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$9722C549-0446-4E52-AE63-7DECF5EAFF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421e29789aad8950011d988db976213ecde8bb20","datavalue":{"value":"homotopy colimit","type":"string"},"datatype":"string"},"type":"statement","id":"Q851539$F30B4E51-D2C4-4A83-85A1-8B555CAF93E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"073034c111734685a386a9ec1a39b197886ab678","datavalue":{"value":{"entity-type":"item","numeric-id":1235431,"id":"Q1235431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851539$7B35C7C5-8105-4E29-AA1D-F812463ADC63","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":"Q851539$F400E09C-BFDE-4E3A-BB43-DA2F2E6894CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646b71718b49ad825d11a0de50f16e8ef5d3ee9b","datavalue":{"value":{"entity-type":"item","numeric-id":851558,"id":"Q851558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90484c4e42fa3e6a1a530925ba3ed4126a85aaf","datavalue":{"value":{"amount":"+0.94772226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$B564FD4D-CC08-4E03-82E4-E95E493C2A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b38149dc34cf1899df8ef166aa182f020b2bdfe","datavalue":{"value":{"entity-type":"item","numeric-id":2570217,"id":"Q2570217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179c244e763f3b1707e70377cdbfdc2d07cdf732","datavalue":{"value":{"amount":"+0.85782325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$55956BA0-EB29-42CD-B976-93089A7E742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6182f542141fca309740206322a248ae0d729823","datavalue":{"value":{"entity-type":"item","numeric-id":925393,"id":"Q925393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce94c2ea714bbaad0b8dcbe43c2003511f4dfed","datavalue":{"value":{"amount":"+0.82875097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$963293A7-BD93-4028-A62B-F3BF421BC4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c678161346aed482a79d88f1ff7df588caffd2b","datavalue":{"value":{"entity-type":"item","numeric-id":278749,"id":"Q278749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae3edad2f04856a2032d7f7ba08982eeb0679e1","datavalue":{"value":{"amount":"+0.8228585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$31081A67-EABF-4B93-8301-80630EAD4045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0dff06ef0d616e6ca311d0cf3b6cd1c81eccfa","datavalue":{"value":{"entity-type":"item","numeric-id":2432566,"id":"Q2432566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539df121b8f16fdbb0ec813f12e50d30de985227","datavalue":{"value":{"amount":"+0.8032511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$E8C7D70A-F563-4F60-82AC-2E971F9AD5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a974f773161bac435d08c6b5fe02b6bc6ac0ddc","datavalue":{"value":{"entity-type":"item","numeric-id":854184,"id":"Q854184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0ce917ed187fca7fb2290baab203ccfd7f4d65","datavalue":{"value":{"amount":"+0.79342914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$A0DE52E1-F6A0-4800-A30E-7A93ACABB9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109e7fc81f91ad52df2a7c16e03296887bbb63da","datavalue":{"value":{"entity-type":"item","numeric-id":2427617,"id":"Q2427617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b35818f15284b344c81bfdf334ac2f1a275280","datavalue":{"value":{"amount":"+0.78164995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$A74D5C57-8A41-4D56-9522-5C21A586FCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3b0283fd6e0406815cd2db2d89bf917cc1c3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2324599,"id":"Q2324599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbb004ecb65a3fae7a0457f0f390bb642568c0a","datavalue":{"value":{"amount":"+0.7692492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$CC8AE9AC-58C7-4CD6-A112-6DA90633EC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa48d7b865552a646ab447cb936f821d285a0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2289075,"id":"Q2289075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a68a375e3137acae592bd16925b0da85ba8b6d2","datavalue":{"value":{"amount":"+0.76286346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$561F3235-4AC7-4758-BAF1-55CA6692507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daa27030366c87542406e636c4586a70f5474","datavalue":{"value":{"entity-type":"item","numeric-id":5038191,"id":"Q5038191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e922642247012d0069b0493abef2a955f537293","datavalue":{"value":{"amount":"+0.76122814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q851539$4A01714D-4938-4873-B032-424E134D5353","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b1f16339057fe30e652e88ea117600927c30c7a6","datavalue":{"value":"bafkreiec4gdtgjhzj73lrlv7nmtis5c447ti2k3nq776wbev3fge2vod44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851539$6B418B9B-E653-4CF5-8E41-38B773566A9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:851539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:851539"}}}}}