the isomorphism of categories is a very strong condition and is rarely satisfied