In this subsection, the "is isomorphic to" relation between objects of a category is defined (see df-cic). It is shown that this relation is an equivalence relation, see cicer.