Auslander-Reiten sequences and -structures on the homotopy category of an abelian category
We use -structures on the homotopy category for an artin algebra and Watts' representability theorem to give an existence proof for Auslander-Reiten sequences of -modules.