[reikonomusha]

Kets sometimes even represent vector-valued functions (e.g., |f(t)> = e^(iHt)|0> or so) which in and of themselves aren’t states, but representations of system dynamics. We could pontificate as to whether |f(t)> is the function or is merely the image of t -> |f(t)> at some t. :)

In any event, I’m speaking in the context of my comment and of the article: (gate-based) quantum computation. Here, 9 out of 10 dentists will use a ket to denote the (computational) state of the quantum computer. Infinite dimensional states and bases aren’t pertinent at the level of logical computation.