  We provide some background on the category of classifiable
$\mathrm{C}^*$-algebras, whose objects are infinite-dimensional, simple,
separable, unital $\mathrm{C}^*$-algebras that have finite nuclear dimension
and satisfy the universal coefficient theorem, and describe some applications
of the classification of objects in, and morphisms into, this category.
