Definition:Objects of Category