  Quaternionic projective plane $\mathbb{H} P^2$ is the next simplest conjugacy
class of the symplectic group $SP(6)$ with pseudo-Levi stabilizer subgroup
after the sphere $\mathbb{S}^4\simeq \mathbb{H} P^1$. Its quantization gives
rise to a module category $\mathcal{O}_t\bigl(\mathbb{H} P^2\bigr)$ over
finite-dimensional representations of
$U_q\bigl(\mathfrak{s}\mathfrak{p}(6)\bigr)$, a full subcategory in the
category $\mathcal{O}$. We prove that $\mathcal{O}_t\bigl(\mathbb{H} P^2\bigr)$
is semi-simple and equaivalent to the category of quantized equivariant vector
bundles on $\mathbb{H} P^2$.
