Description: Function value of the function returning the isomorphisms of a category. (Contributed by AV, 5-Apr-2017)