Some collapsing operations for 2-dimensional precubical sets (Q691262): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W2109726919 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1005.5443 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models and van Kampen theorems for directed homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reparametrizations of continuous paths / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dipaths and dihomotopies in a cubical complex / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic topology and concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Components of the fundamental category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological deformation of higher dimensional automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the expressiveness of higher dimensional automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some geometric perspectives in concurrency theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Components of the fundamental category. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3625520 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariants of directed spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trace spaces in a pre-cubical complex / rank
 
Normal rank

Latest revision as of 22:11, 5 July 2024

scientific article
Language Label Description Also known as
English
Some collapsing operations for 2-dimensional precubical sets
scientific article

    Statements

    Some collapsing operations for 2-dimensional precubical sets (English)
    0 references
    0 references
    30 November 2012
    0 references
    Precubical sets are used to model concurrent systems, an \(n\)-cube modelling the concurrent execution of \(n\) actions. They can be realized as \(d\)-spaces in the sense of Grandis. In this paper, two precubical sets have the same directed homotopy type if the associated \(d\)-spaces are dihomotopic in Grandis' sense with respect to the extremal elements in the sense of Bubenik. The author gives rules to reduce the size of a \(2\)-dimensional precubical set so that the new one has the same directed homotopy type. These rules consist of collapsing an edge or eliminating a square and one or two free faces if some conditions are satisfied. This kind of results is important to face the combinatorial explosion caused by the real models coming from computer science.
    0 references
    precubical sets
    0 references
    \(d\)-spaces
    0 references
    fundamental bipartite graph
    0 references
    fundamental category
    0 references
    trace spaces
    0 references
    directed homotopy theory
    0 references
    concurrency theory
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references