Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307412208> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4307412208 abstract "Transverse (symmetric precubical) sets were introduced to make the construction of the parallel product with synchronization for process algebras functorial. It is proved that one can do directed homotopy on transverse sets in the following sense. A q-realization functor from transverse sets to flows is introduced using a q-cofibrant replacement functor of flows. By topologizing the cotransverse maps, the cotransverse topological cube is constructed. It can be regarded both as a cotransverse topological space and as a cotransverse Lawvere metric space. A natural realization functor from transverse sets to flows is introduced using Raussen's notion of natural $d$-path extended to transverse sets thanks to their structure of Lawvere metric space. It is proved that these two realization functors are homotopy equivalent on cofibrant transverse sets by using the fact that the small category defining transverse sets is c-Reedy in Shulman's sense. This generalizes to transverse sets results previously obtained for precubical sets." @default.
- W4307412208 created "2022-11-01" @default.
- W4307412208 creator A5076299516 @default.
- W4307412208 date "2022-09-06" @default.
- W4307412208 modified "2023-09-28" @default.
- W4307412208 title "Directed degeneracy maps for precubical sets" @default.
- W4307412208 doi "https://doi.org/10.48550/arxiv.2209.02667" @default.
- W4307412208 hasPublicationYear "2022" @default.
- W4307412208 type Work @default.
- W4307412208 citedByCount "0" @default.
- W4307412208 crossrefType "posted-content" @default.
- W4307412208 hasAuthorship W4307412208A5076299516 @default.
- W4307412208 hasBestOaLocation W43074122081 @default.
- W4307412208 hasConcept C105795698 @default.
- W4307412208 hasConcept C111919701 @default.
- W4307412208 hasConcept C114614502 @default.
- W4307412208 hasConcept C127413603 @default.
- W4307412208 hasConcept C154954056 @default.
- W4307412208 hasConcept C156772000 @default.
- W4307412208 hasConcept C162324750 @default.
- W4307412208 hasConcept C176217482 @default.
- W4307412208 hasConcept C184720557 @default.
- W4307412208 hasConcept C202444582 @default.
- W4307412208 hasConcept C21547014 @default.
- W4307412208 hasConcept C2778572836 @default.
- W4307412208 hasConcept C2781089630 @default.
- W4307412208 hasConcept C33923547 @default.
- W4307412208 hasConcept C41008148 @default.
- W4307412208 hasConcept C5961521 @default.
- W4307412208 hasConcept C66938386 @default.
- W4307412208 hasConceptScore W4307412208C105795698 @default.
- W4307412208 hasConceptScore W4307412208C111919701 @default.
- W4307412208 hasConceptScore W4307412208C114614502 @default.
- W4307412208 hasConceptScore W4307412208C127413603 @default.
- W4307412208 hasConceptScore W4307412208C154954056 @default.
- W4307412208 hasConceptScore W4307412208C156772000 @default.
- W4307412208 hasConceptScore W4307412208C162324750 @default.
- W4307412208 hasConceptScore W4307412208C176217482 @default.
- W4307412208 hasConceptScore W4307412208C184720557 @default.
- W4307412208 hasConceptScore W4307412208C202444582 @default.
- W4307412208 hasConceptScore W4307412208C21547014 @default.
- W4307412208 hasConceptScore W4307412208C2778572836 @default.
- W4307412208 hasConceptScore W4307412208C2781089630 @default.
- W4307412208 hasConceptScore W4307412208C33923547 @default.
- W4307412208 hasConceptScore W4307412208C41008148 @default.
- W4307412208 hasConceptScore W4307412208C5961521 @default.
- W4307412208 hasConceptScore W4307412208C66938386 @default.
- W4307412208 hasLocation W43074122081 @default.
- W4307412208 hasLocation W43074122082 @default.
- W4307412208 hasOpenAccess W4307412208 @default.
- W4307412208 hasPrimaryLocation W43074122081 @default.
- W4307412208 hasRelatedWork W1912064545 @default.
- W4307412208 hasRelatedWork W1974700261 @default.
- W4307412208 hasRelatedWork W1992729023 @default.
- W4307412208 hasRelatedWork W1996333803 @default.
- W4307412208 hasRelatedWork W2016613368 @default.
- W4307412208 hasRelatedWork W2021915098 @default.
- W4307412208 hasRelatedWork W2165986557 @default.
- W4307412208 hasRelatedWork W2234982114 @default.
- W4307412208 hasRelatedWork W2962931714 @default.
- W4307412208 hasRelatedWork W4243786039 @default.
- W4307412208 isParatext "false" @default.
- W4307412208 isRetracted "false" @default.
- W4307412208 workType "article" @default.