Category is a set of objects and morphisms between them (including identity morphism).
Precategory is a category without identity morphism.