Universal property of the Bousfield--Kuhn functor

We present a universal property of the Bousfield–Kuhn functor ${\mathrm{\Phi }}_h$ of height $h$, for every positive natural number $h$. This result is achieved by proving that the costabilisation of the $\mathrm{\infty }$-category of $v_h$-periodic homotopy types is equivalent to the $\mathrm{\infty }$-category of $\mathrm{T}(h)$-local spectra. A key component in our proofs is the spectral Lie algebra model for $v_h$-periodic homotopy types (see arXiv:1803.06325): We relate the costabilisation of the $\mathrm{\infty }$-category of spectral Lie algebras with the costabilisations of the $\mathrm{\infty }$-category of non-unital ${\mathcal{E}}_n$-algebras, via our construction of higher enveloping algebras of spectral Lie algebras.