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