Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896684324> ?p ?o ?g. }
- W2896684324 endingPage "107037" @default.
- W2896684324 startingPage "107037" @default.
- W2896684324 abstract "A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent presentations, whose relations among relations are defined by confluence diagrams of critical branchings. This article introduces a procedure to compute coherent presentations when the rewrite relations are defined modulo a set of axioms. Our coherence results are formulated using the structure of n-categories enriched in double groupoids, whose horizontal cells represent rewriting paths, vertical cells represent the congruence generated by the axioms and square cells represent coherence cells induced by diagrams of confluence modulo. We illustrate our constructions on rewriting systems modulo commutation relations in commutative monoids, isotopy relations in pivotal monoidal categories, and inverse relations in groups." @default.
- W2896684324 created "2018-10-26" @default.
- W2896684324 creator A5063718422 @default.
- W2896684324 creator A5075889461 @default.
- W2896684324 date "2022-10-01" @default.
- W2896684324 modified "2023-09-25" @default.
- W2896684324 title "Coherent confluence modulo relations and double groupoids" @default.
- W2896684324 cites W1589182689 @default.
- W2896684324 cites W1741900621 @default.
- W2896684324 cites W1971063266 @default.
- W2896684324 cites W1973799895 @default.
- W2896684324 cites W1978362621 @default.
- W2896684324 cites W1979101142 @default.
- W2896684324 cites W1981049756 @default.
- W2896684324 cites W1994510361 @default.
- W2896684324 cites W2036265506 @default.
- W2896684324 cites W2054951371 @default.
- W2896684324 cites W2056016391 @default.
- W2896684324 cites W2086681482 @default.
- W2896684324 cites W2088405398 @default.
- W2896684324 cites W2088426551 @default.
- W2896684324 cites W2092347581 @default.
- W2896684324 cites W2128937477 @default.
- W2896684324 cites W2140500391 @default.
- W2896684324 cites W2155365991 @default.
- W2896684324 cites W2323378191 @default.
- W2896684324 cites W2777301030 @default.
- W2896684324 cites W2962895021 @default.
- W2896684324 cites W2962978387 @default.
- W2896684324 cites W2963170630 @default.
- W2896684324 cites W3101556274 @default.
- W2896684324 cites W3102094360 @default.
- W2896684324 cites W3112198558 @default.
- W2896684324 cites W4205814687 @default.
- W2896684324 cites W4239283511 @default.
- W2896684324 doi "https://doi.org/10.1016/j.jpaa.2022.107037" @default.
- W2896684324 hasPublicationYear "2022" @default.
- W2896684324 type Work @default.
- W2896684324 sameAs 2896684324 @default.
- W2896684324 citedByCount "4" @default.
- W2896684324 countsByYear W28966843242019 @default.
- W2896684324 countsByYear W28966843242021 @default.
- W2896684324 countsByYear W28966843242022 @default.
- W2896684324 crossrefType "journal-article" @default.
- W2896684324 hasAuthorship W2896684324A5063718422 @default.
- W2896684324 hasAuthorship W2896684324A5075889461 @default.
- W2896684324 hasBestOaLocation W28966843241 @default.
- W2896684324 hasConcept C105795698 @default.
- W2896684324 hasConcept C118615104 @default.
- W2896684324 hasConcept C132074034 @default.
- W2896684324 hasConcept C136119220 @default.
- W2896684324 hasConcept C154690210 @default.
- W2896684324 hasConcept C167729594 @default.
- W2896684324 hasConcept C183778304 @default.
- W2896684324 hasConcept C199360897 @default.
- W2896684324 hasConcept C202444582 @default.
- W2896684324 hasConcept C2524010 @default.
- W2896684324 hasConcept C2778003309 @default.
- W2896684324 hasConcept C2781181686 @default.
- W2896684324 hasConcept C33923547 @default.
- W2896684324 hasConcept C41008148 @default.
- W2896684324 hasConcept C54732982 @default.
- W2896684324 hasConcept C77906462 @default.
- W2896684324 hasConceptScore W2896684324C105795698 @default.
- W2896684324 hasConceptScore W2896684324C118615104 @default.
- W2896684324 hasConceptScore W2896684324C132074034 @default.
- W2896684324 hasConceptScore W2896684324C136119220 @default.
- W2896684324 hasConceptScore W2896684324C154690210 @default.
- W2896684324 hasConceptScore W2896684324C167729594 @default.
- W2896684324 hasConceptScore W2896684324C183778304 @default.
- W2896684324 hasConceptScore W2896684324C199360897 @default.
- W2896684324 hasConceptScore W2896684324C202444582 @default.
- W2896684324 hasConceptScore W2896684324C2524010 @default.
- W2896684324 hasConceptScore W2896684324C2778003309 @default.
- W2896684324 hasConceptScore W2896684324C2781181686 @default.
- W2896684324 hasConceptScore W2896684324C33923547 @default.
- W2896684324 hasConceptScore W2896684324C41008148 @default.
- W2896684324 hasConceptScore W2896684324C54732982 @default.
- W2896684324 hasConceptScore W2896684324C77906462 @default.
- W2896684324 hasIssue "10" @default.
- W2896684324 hasLocation W28966843241 @default.
- W2896684324 hasLocation W289668432410 @default.
- W2896684324 hasLocation W28966843242 @default.
- W2896684324 hasLocation W28966843243 @default.
- W2896684324 hasLocation W28966843244 @default.
- W2896684324 hasLocation W28966843245 @default.
- W2896684324 hasLocation W28966843246 @default.
- W2896684324 hasLocation W28966843247 @default.
- W2896684324 hasLocation W28966843248 @default.
- W2896684324 hasLocation W28966843249 @default.
- W2896684324 hasOpenAccess W2896684324 @default.
- W2896684324 hasPrimaryLocation W28966843241 @default.
- W2896684324 hasRelatedWork W1503828605 @default.
- W2896684324 hasRelatedWork W1850690851 @default.
- W2896684324 hasRelatedWork W1862544530 @default.
- W2896684324 hasRelatedWork W193668645 @default.
- W2896684324 hasRelatedWork W2067633203 @default.
- W2896684324 hasRelatedWork W2261261802 @default.