shorter names for objects and isomorphisms