All the abstract math/koopman operator/functional analysis for biology/aging/neuro