Categories of bounded left( {mathfrak{sp}left( {{{mathrm{S}}^2}V oplus {{mathrm{S}}^2}{V^{*}}} right),;mathfrak{gl}(V)} right) - and left( {mathfrak{sp}left( {{varLambda^2}V oplus {varLambda^2}{V^{*}}} right),;mathfrak{gl}(V)} right) -modules

Let $ mathfrak{g} $ be a reductive Lie algebra over $ mathbb{C} $ and $ mathfrak{k} subset mathfrak{g} $ be a reductive in $ mathfrak{g} $ subalgebra. We call a $ mathfrak{g} $ -module M a $ left( {mathfrak{g}{hbox{,}};mathfrak{k}} right) $ -module whenever M is a direct sum of finite-dimensional $ mathfrak{k} $ -modules. We call a $ left( {mathfrak{g}{hbox{,}};mathfrak{k}} right) $ -module M bounded if there exists $ {C_M} in {mathbb{Z}_{{ geqslant 0}}} $ such that for any simple finite-dimensional $ mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ left( {mathfrak{g}{hbox{,}};mathfrak{k}} right) $ -modules form a subcategory of the category of $ mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ left( {mathfrak{sp}left( {{{mathrm{S}}^2}V oplus {{mathrm{S}}^2}{V^{*}}} right),;mathfrak{gl}(V)} right) $ - and $ left( {mathfrak{sp}left( {{varLambda^2}V oplus {varLambda^2}{V^{*}}} right),;mathfrak{gl}(V)} right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .