Functoriality of the KSGNS Construction for Intertwiners of Strict Positive $C^{\ast }$-Correspondences

Lucus Brady, Ryan Grady

We prove that the KSGNS construction can be viewed as an endofunctor on a category whose objects are positive $C^{\ast }$-correspondences from a fixed $C^{\ast }$-algebra and morphisms are giv…