2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/68479We study $C^*$-algebras arising from $C^*$-correspondences, which was introduced by the author. We prove the gauge-invariant uniqueness theorem, and obtain conditions for our $C^*$-algebras to be nuclear, exact, or satisfy the Universal Coefficient Theorem. We also obtain a 6-term exact sequence of $K$-groups involving the $K$-groups of our $C^*$-algebras.29pages, some small changesOperator Algebras46L05On $C^*$-algebras associated with $C^*$-correspondencestext