i bet @Bob_Ross can also supply information (he took real comp classes). i tend to be pretty bone-headed about it and go for (work towards) sounds i like.
Flatterer. Your explanation was fine, certainly more than comprehensive enough as necessary for this thread; I feel like if I offered any more detail it would just come across as pedantic ...which I'm told is true of nearly
everything I say, so maybe I should just shut up? Nah...
I will say this: I like to differentiate between
chord progressions and
chord sequences.
chord progressions are the ones that obey -- or at least, exist in a world that is defined by -- functional harmony. Dominant chords want [sic] to resolve, tonic chords sound stable, yadda-yadda-yadda... the movement from one chord to another is designed to either follow or confound
expectations, and those expectations are based on long-extant rules about harmonic behavior (and listeners being conditioned to hearing those behaviors).
chord sequences are designed to sound cool. The vertical harmonies may (sometimes) be called "chords" as a convenience or shorthand but they don't
function the way their namesakes might in more traditional musics. They are simply simultanaeities, a bunch of notes that sound together and that are made to be heard concurrently. Calling something a V7 in this harmonic environment is often meaningless, or at best a coincidence. The chords "go" from one to the next because the composer has created an environment where that's the sound meant to be heard at that moment, regardless of (or in spite of) listener expectations and intrinsic behaviors from functional harmony.
btw, the famous Stravinsky polychord from The Rite Of Spring was an Eb7 chord over a full E major triad...or rather (puts on his Captain Pedantic hat) an Fb major triad. The Fb is voiced in root position with a doubled octave, and the Eb7 is in 1st inversion. Gorgeous sound.