Resolutions by Polygraphs.
Resolutions of Modules Over the Steenrod Algebra and the Cassical Theory of Invariants.
Resolutions of unbounded complexes
Rewriting on cyclic structures : equivalence between the operational and the categorical description
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
We present a categorical formulation of the rewriting of possibly cyclic term graphs, based on a variation of algebraic 2-theories. We show that this presentation is equivalent to the well-accepted operational definition proposed by Barendregt et al. – but for the case of circular redexes , for which we propose (and justify formally) a different treatment. The categorical framework allows us to model in a concise way also automatic garbage collection and rules for sharing/unsharing and...
Ring epimorphisms and .
Risoluzione di moduli su domini d'integrità noetheriani con proprietà di estensione
Roots of Nakayama and Auslander-Reiten translations
We discuss the roots of the Nakayama and Auslander-Reiten translations in the derived category of coherent sheaves over a weighted projective line. As an application we derive some new results on the structure of selfinjective algebras of canonical type.
Roots of unity as a Lie algebra.