{"entities":{"Q1770322":{"pageid":1781064,"ns":120,"title":"Item:Q1770322","lastrevid":70862301,"modified":"2026-04-13T17:45:01Z","type":"item","id":"Q1770322","labels":{"en":{"language":"en","value":"A model category for the homotopy theory of concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153130"}},"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":"Q1770322$48309E64-E46D-4BB7-898F-154CE86394DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f9823f5cd02925af5853b75362cde8c5f59cb8","datavalue":{"value":{"text":"A model category for the homotopy theory of concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770322$5BC3DF4D-6DD1-47FF-9DCD-5B1E16D2BC9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eef56cd0bb0249364f4149bd184b6e6ab0e8a11","datavalue":{"value":"1069.55008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770322$49B18C5C-D2E0-41C4-B4AD-62BF89D032E6","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":"Q1770322$D35B2B19-9A48-4B81-B67F-656A9A7B2CB5","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":"Q1770322$B0F934B2-96F4-4D91-B9B1-431FAD57B660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-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":"Q1770322$C705043C-04F0-47F0-848F-50596DAF5784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15454274276812da9496e5853d5a66e997d6938e","datavalue":{"value":"https://arxiv.org/abs/math/0308054","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770322$E5D648A0-B262-4482-BA39-6C1C966D9FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a460b6e0a44d0b1de9e87a62c379cb516146ad0","datavalue":{"value":"https://eudml.org/doc/51572","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770322$3FACB035-A59C-43E8-B47E-DFD46219DAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0f019b8e1c21fac2dbd61ae32926236fe68e997","datavalue":{"value":"http://www.emis.de/journals/HHA/volumes/2003/volume5-1.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770322$0E6B8C26-802C-4D5C-A4FB-AA9E05D61EC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5386967b31cfcb79123776a96b911a4da73516e","datavalue":{"value":"In this paper, the category of \\textit{flows} is introduced. An object \\(X\\) in this category consists of a topological space \\(\\mathbb{P}X\\), a discrete space, \\(X^0\\), a pair of continuous maps \\(s,t:\\mathbb{P}X\\to X^0\\) and a concatenation map \\(\\star:\\{(x,y)\\in\\mathbb{P}X\\times \\mathbb{P}X| s(y)=t(x)\\}\\to \\mathbb{P}X\\) such that \\(s(x\\star y)=s(x)\\) and \\(t(x\\star y)=t(y)\\). A morphism \\(f:X\\to Y\\) is a map of the discrete spaces as sets and a continuous map of \\(\\mathbb{P}X\\to\\mathbb{P}Y \\) commuting with source and target maps and preserving concatenation.   The aim is a model for concurrent computations, and \\(X^0\\) are then the states, \\(\\mathbb{P}X\\) the (non-constant) execution paths and \\(s,t\\) the source and target of an execution. This category is complete and cocomplete -- see section 4. A class of homotopy equivalences, \\(S\\)-homotopy, is defined in section 7, and the main part of the paper is devoted to constructing a model structure on the category of flows. This model structure is cofibrantly generated, any flow is fibrant, two cofibrant flows are homotopy equivalent in the model structure if and only if they are \\(S\\)-homotopy equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770322$C4AD0361-BA68-479D-B0F0-2EB7F145B445","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4495102e7773f5814bb447c5c0b30e849a1f5769","datavalue":{"value":{"entity-type":"item","numeric-id":523152,"id":"Q523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770322$84B3FC90-9D46-4A11-B65A-C1F6C6698495","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770322$F43D4C68-5B49-4C9C-B481-8BD2465BC215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770322$956EC6DE-3078-4F4B-A9C9-5F2F1869227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770322$41C99B6A-0095-4EFD-98DF-18BD250732F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cfdd3c5d130f2cdecaba9a7651e2178273529b0","datavalue":{"value":"2153130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770322$6FFB4027-FAB9-4FD9-AA59-50466C424763","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770322$4298F2D7-E492-4FC0-BB65-C9DF264C6EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837aec0cbe9f8dc3ffae9b1dad6816157aa088f1","datavalue":{"value":"model category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770322$855B5105-5CE1-4BA6-9CEE-92582DD2D9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f660410589320d2d79e94fd36f9aaeb7c12e67dc","datavalue":{"value":"higher dimensional automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770322$2498F208-97EB-47B7-B3B1-F4AD10E5D0CC","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":"Q1770322$77EDFF59-3ED4-4CDC-B3E6-CA292EB4E201","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9cbda8b07fc24d202d349a3f3a832e8b7bdb4b6","datavalue":{"value":"10.4310/HHA.2003.V5.N1.A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770322$A655E662-AD7C-426A-B595-09E056529B9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae353bb168b75dfd5dca1fd873ae76448d44cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5087657,"id":"Q5087657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44621522f7c7c1f3cc633c232c3898fa79adaa02","datavalue":{"value":{"amount":"+0.8734485507011414","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":"Q1770322$91FA00CA-0B19-462D-8C83-2928C1024897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590b3deee97c4785c24c019613623c4b82636a80","datavalue":{"value":{"entity-type":"item","numeric-id":2581070,"id":"Q2581070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feba4af15cacfa068df8a0b33493f431ca217819","datavalue":{"value":{"amount":"+0.8649077415466309","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":"Q1770322$FD986E96-4063-4F9A-A505-E89778B17AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ecdc8d3cd60b9c9b7d75c945c51f04db95a5785","datavalue":{"value":{"entity-type":"item","numeric-id":5116338,"id":"Q5116338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66673a7488c68e335e45ce6a0234460b86f1ddba","datavalue":{"value":{"amount":"+0.8643039464950562","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":"Q1770322$9DBED2D3-0CC6-4069-BBBE-3FD8B00AB77B","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":"d5d54db2087b1d1172610c9aefa2169fcd53496a","datavalue":{"value":{"amount":"+0.8407167196273804","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":"Q1770322$672DFD14-3D73-42E1-AB3C-2235CFA8EB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8655e855153e7ff8befeb2c5fc55d3a2c843faf","datavalue":{"value":{"entity-type":"item","numeric-id":1417115,"id":"Q1417115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322685e8b7539e7d6ec55bf3acf7738fa8d2f4a0","datavalue":{"value":{"amount":"+0.8397525548934937","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":"Q1770322$E9993C37-23E5-485D-A85B-572275D2BB68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model category for the homotopy theory of concurrency","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_category_for_the_homotopy_theory_of_concurrency"}}}}}