{"entities":{"Q1018859":{"pageid":1020707,"ns":120,"title":"Item:Q1018859","lastrevid":66028230,"modified":"2026-04-12T07:02:52Z","type":"item","id":"Q1018859","labels":{"en":{"language":"en","value":"Models and van Kampen theorems for directed homotopy theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5556957"}},"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":"Q1018859$0A5CCFC9-AC7E-466F-9185-CDA4F13F6F45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c40276efce4ba1f15a8beda2acbd27722be9a56","datavalue":{"value":{"text":"Models and van Kampen theorems for directed homotopy theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1018859$A1DACAC6-7F1F-4A4B-A59C-03A846237C29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09ffddd8566bc11aaf25803d46437d711907da8a","datavalue":{"value":"1163.55007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1018859$DC9AF8E5-3899-4BC0-8315-C9164B3065FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f6172f425dd9688f5b14cd086a48a62352cdad5","datavalue":{"value":{"entity-type":"item","numeric-id":306656,"id":"Q306656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1018859$EFE6CC51-4DCB-4FE4-B27D-2CDA20C640AA","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":"Q1018859$A868F504-4D6D-4202-AB2C-239ED50166EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be7b93b507912411f0ca2c7ac8c619a56f4011ee","datavalue":{"value":{"time":"+2009-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1018859$A2624D3F-6E1D-4AA9-9DA2-34CACD81B3FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c57ef2fe7273355859e939f764bf312016c1b2b","datavalue":{"value":"https://arxiv.org/abs/0810.4164","type":"string"},"datatype":"url"},"type":"statement","id":"Q1018859$C10CC64C-AB91-4930-9759-AB4AB6272A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4a2b5b58e4dc2a0cd1a19338d2cdba408cb765d","datavalue":{"value":"http://intlpress.com/hha/v11/n1/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1018859$A9CC5BB4-F822-42F9-87CF-95958124EC9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1235b18efef3e4c9008b261315e0674a3dbe249f","datavalue":{"value":"The author works with topological spaces equipped with a distinguished set of continuous paths called directed path satisfying natural axioms (Grandis' notion of \\(d\\)-space). This kind of objects is useful in the study of concurrency theory using topological models. The directed paths model the execution paths of a concurrent process and the underlying state space is modelled by the underlying topological space. Since these paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, but rather into a small category called the fundamental category. The author studies various full subcategories of the fundamental category, as the fundamental bipartite graph which is the full subcategory generated by the extremal points, i.e the points without past or without future. This full subcategory as well as minimal extremal models are shown to generalize the fundamental group. Various Van Kampen theorems for subcategories, retracts, and models of the fundamental category are also proved. These theorems generalize the Van Kampen theorem proved by Grandis for fundamental categories in [\\textit{M. Grandis}, Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 44, No.~4, 281--316 (2003; Zbl 1059.55009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$8516D9AD-CCAD-487A-A94B-62275B2DE1C4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1018859$F480BE8B-8734-46F8-90C9-3E495079950A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1018859$130A52DB-9F3B-445D-8A62-CD476C201404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1018859$DC68F6D2-E92E-4A60-9DB7-23DFEA3FD22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"925504b15475c7035fa80bfd7fe3aa56f1622ed6","datavalue":{"value":"55U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1018859$BC88977F-9077-4A10-88EC-02FCBF362124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3c9e45dc84a47292e8e63099b9556e821645c58","datavalue":{"value":"5556957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1018859$7D8CEC1F-E112-4342-A6A2-271992210D98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13a2c2eac98b6178b11221a037f9ee2583f0535a","datavalue":{"value":"directed homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$3E5B5481-7340-4546-8ED4-F0ACC4BBCD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778e44e3715c3d8b89d6cde93620d7372e51ce5c","datavalue":{"value":"fundamental category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$D7DE4622-D8DE-4DD8-8268-BEC527EB93D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45030613debcd35a76ff3213fb019c0db91c70bb","datavalue":{"value":"van Kampen theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$2C977008-D474-4639-94A2-10362AD7752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff19b052e8e5ca417ec5b8db43c825c5f8bd798","datavalue":{"value":"d-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$8FD40638-37D9-4D4F-B748-50DEFBA15E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$D64C0145-67F8-4348-A907-35519D24ABDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a27fb1684c847cdd32ac11bf302c323574c70b","datavalue":{"value":"coreflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$18B01782-CD5D-452C-9A8D-B4DF52F79BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a03633c63d14326df08724c00e4c7732613d44","datavalue":{"value":"past retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$4527F1C2-9B94-4726-A96E-361D722E4251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bb40447bf5bfd037f76ebb0caec06558cdfe08","datavalue":{"value":"future retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$A54702B7-2CB8-4897-AB12-925C73F9377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3519e59b080b9f2fcd838a95ee8fc3301818e12","datavalue":{"value":"extremal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$4FD98F6B-C23A-469D-BC20-5F401EBB559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7096db67d337f01a579259a240dd4b9505be6501","datavalue":{"value":"fundamental bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1018859$02AD8E17-47EA-44F3-99FE-0B195F49A387","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":"Q1018859$A1E1F131-21F6-48E6-86EF-C7B7943EE0CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0312b220cca7424121423e9fd427a114a73caed6","datavalue":{"value":"10.4310/HHA.2009.V11.N1.A9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1018859$7D1D4B38-506B-4338-A7B8-1E99E1658BC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7da9227ad8253da77008b63b14ddb22d1ff1f05","datavalue":{"value":{"entity-type":"item","numeric-id":2463399,"id":"Q2463399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bca472cf2c8ed879c168a971e59a7631962423","datavalue":{"value":{"amount":"+0.8271191","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":"Q1018859$13812D04-F9B1-45BA-AC70-6882F1F58C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d70735a966b331a7215a3bd92c5f6c09575208","datavalue":{"value":{"entity-type":"item","numeric-id":2304019,"id":"Q2304019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b397278581abd1db05ba5fb0a095deef0b8bb8a6","datavalue":{"value":{"amount":"+0.80856097","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":"Q1018859$045E1BFB-4772-46D9-A3D3-64C95C6BD3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c752433620d3b00746aa2f2d4ab022383d0fc1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4453908,"id":"Q4453908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d3c5b791cec3f63d7be6ca9990419042fe29d8","datavalue":{"value":{"amount":"+0.8071158","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":"Q1018859$5ABCF4A5-036E-40C8-92CB-39964911026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f53a738f462469a56441732d5a0395a8bd14de2","datavalue":{"value":{"entity-type":"item","numeric-id":3147648,"id":"Q3147648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81dba4a681c561421e900f02907422b6345c5820","datavalue":{"value":{"amount":"+0.78518236","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":"Q1018859$2986A004-4E80-4B7A-90F8-6DB25DAB0F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00561f0c57db8e82e31b56f0450d170a25184c79","datavalue":{"value":{"entity-type":"item","numeric-id":5701015,"id":"Q5701015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bdd2053711c634c8af5c9a58bbc99f4b246894","datavalue":{"value":{"amount":"+0.7821798","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":"Q1018859$3FC0EEC4-AC28-4892-A119-F71D025AA73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e108ba9849933bc10a14b940ae1079ce989ff057","datavalue":{"value":{"entity-type":"item","numeric-id":1873735,"id":"Q1873735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841b503e7261df4f968d04aae7fa31a7c5ab7d71","datavalue":{"value":{"amount":"+0.7794943","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":"Q1018859$638A86D5-A2D4-4015-978B-74D81CA45DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c167d6860f63e7d4af4e6743ccd67b75898904","datavalue":{"value":{"entity-type":"item","numeric-id":3625520,"id":"Q3625520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf46bd31e594bd649a67d40f297d6485bb58e3a","datavalue":{"value":{"amount":"+0.77723527","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":"Q1018859$24523BEC-E8C4-432E-B4E4-038D53579C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118465c50f8f5245912736e67229a09046ab7523","datavalue":{"value":{"entity-type":"item","numeric-id":5278395,"id":"Q5278395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1494ac5a058f9c2b321d15d4f0679042d0d5abc","datavalue":{"value":{"amount":"+0.7750876","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":"Q1018859$D60E82A8-06A7-4C8E-AC14-A8702A5172F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef4cb140528e7ea45da511e6ebd5830a986446a","datavalue":{"value":{"entity-type":"item","numeric-id":2255541,"id":"Q2255541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3251b0718d5d26872730f650b055d0fdcab7dc","datavalue":{"value":{"amount":"+0.7749355","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":"Q1018859$9E9B4EA9-E0E3-4AFB-8238-304B6B9EB1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa849334b235b77f02d706fb9344b90b96217ff","datavalue":{"value":{"entity-type":"item","numeric-id":2381409,"id":"Q2381409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ca17c6e8101c3c5ae04a271660ca8fcc59e4a5","datavalue":{"value":{"amount":"+0.7698134","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":"Q1018859$BD76682E-0533-44F8-9A87-81AC5A8DB5FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Models and van Kampen theorems for directed homotopy theory","badges":[]}}}}}