A Categorical Study of C*-correspondences and Associated Cuntz-Pimsner Algebras