ModHk-enriched ∞-categories are left Hk-module objects of Cat∞Sp and Cat∞Sp-enriched ∞-functors

We establish the feasibility of investigating the theory of ModHk-enriched ∞-categories, where Hk is the Eilenberg-Maclane Spectrum associated with a commutative and unitary ring k, through the framework of Sp-enriched ∞-category theory. In particular, we prove that the ∞-category of ModHk-enriched ∞-categories Cat∞^ModHk, ∞-category of left Hk-module objects of the ∞-category of Sp-enriched ∞-categories Cat∞Sp LModHk(Cat∞Sp) and the ∞-category of Cat∞Sp-enriched ∞-functors Fun^Cat∞Sp(Hk,Cat∞Sp) are equivalent.