Isomorphism of enriched categories