Category is a set of objects and morphisms between them (including identity ones).