Auslander-Reiten Quiver: Definition

An exact sequence 0 → X → Y → Z → 0 is called an Auslander-Reiten sequence
provided the maps X → Y and Y → Z are irreducible (as a consequence, X, Z are indecomposable).

The Auslander-Reiten quiver of an exact category is defined as follows: