IsIsomorphism method
example: VectorSpacesPullback
Bugfix: Codominates, Dominates recursion