Flow does not model flows up to weak dihomotopy (Q2432566): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 22:59, 2 February 2024

scientific article
Language Label Description Also known as
English
Flow does not model flows up to weak dihomotopy
scientific article

    Statements

    Flow does not model flows up to weak dihomotopy (English)
    0 references
    0 references
    25 October 2006
    0 references
    The category of flows, Flow, introduced by the author [Homology Homotopy Appl. 5, 549--599 (2003; Zbl 1069.55008)] as a geometric model of higher-dimensional automata, allows one to study dihomotopy from the point of view of model categories. Now, the author shows that there does not exist any model structure on the category ``Flow'' whose weak equivalences are exactly the weak dihomotopy equivalences. Some new directions of research to solve this problem appear in this paper.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    concurrency
    0 references
    homotopy
    0 references
    weak factorization system
    0 references
    cofibrantly generated model category
    0 references
    locally presentable model category
    0 references
    combinatorial model category
    0 references
    directed homotopy
    0 references