14.32Diminished chords in minor keys

In A minor, the leading tone is G♯.

So:

G♯° → Am

or:

G♯°7 → Am

This comes directly from harmonic minor.

A harmonic minor:

A B C D E F G♯

The leading-tone chord is naturally diminished.

So diminished harmony is deeply connected to minor-key dominant function.