Pages that link to "Item:Q2762219"
From MaRDI portal
The following pages link to Classifying spaces of categories and term rewriting (Q2762219):
Displaying 7 items.
- A formal identification between tuples and lists with an application to list-arithmetic categories (Q1346222) (← links)
- Using rewriting systems to compute left Kan extensions and induced actions of categories (Q1971490) (← links)
- What does the classifying space of a category classify? (Q2575114) (← links)
- Relating two categorical models of term rewriting (Q5055833) (← links)
- Formalizing Restriction Categories (Q5195282) (← links)
- Hochschild homology, and a persistent approach via connectivity digraphs (Q6650213) (← links)
- Tangent complexes and the Diamond Lemma (Q6660257) (← links)