Definition:Locally Small Category