unified notation for objects of a category