Category is a set of objects and morphisms between them.