Les concepts d'équivalence de catégorie et d'isomorphisme naturel