Pages that link to "Item:Q685405"
From MaRDI portal
The following pages link to Higher-dimensional word problems with applications to equational logic (Q685405):
Displaying 22 items.
- Unifying notions of pasting diagrams (Q5094691) (← links)
- Polygraphs and Discrete Conduch{\'e} $\omega$-Functors (Q5149951) (← links)
- A cubical Squier’s theorem (Q5220186) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Coherent presentations of Artin monoids (Q5259734) (← links)
- Non-unital polygraphs form a presheaf category (Q5382906) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
- Monoidal weak <i>ω</i>-categories as models of a type theory (Q6149952) (← links)
- Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting (Q6150149) (← links)
- Nerves and cones of free loop-free \(\omega\)-categories (Q6168319) (← links)
- Polygraphic homology of local systems (Q6547689) (← links)
- Regular planar monoidal languages (Q6561334) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- Free precategories as presheaf categories (Q6575458) (← links)
- Acyclicity conditions on pasting diagrams (Q6631561) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)
- Termination of rewriting on reversible Boolean circuits as a free 3-category problem (Q6664060) (← links)
- An inductive model structure for strict \(\infty\)-categories (Q6671779) (← links)
