Pages that link to "Item:Q4649461"
From MaRDI portal
The following pages link to Coherence in monoidal track categories (Q4649461):
Displaying 12 items.
- A coherence theorem for pseudonatural transformations (Q502628) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Variations on a theme of homotopy (Q2448536) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- A cubical Squier’s theorem (Q5220186) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Free precategories as presheaf categories (Q6575458) (← links)
