Pages that link to "Item:Q2136121"
From MaRDI portal
The following pages link to Coherent confluence modulo relations and double groupoids (Q2136121):
Displaying 6 items.
- The category of 3-computads is not cartesian closed (Q942212) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Identities among relations for higher-dimensional rewriting systems (Q2865984) (← links)
- Coherence in monoidal track categories (Q4649461) (← links)
- Coherence of Gray Categories via Rewriting (Q4993341) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)