Functoriality of the KSGNS Construction for Intertwiners of Strict Positive $C^*$-Correspondences math.OA · 2026-05-08