A category consists of some objects, together with relationships between them, called morphisms. The objects could be sets, or groups, or vector spaces. The morphisms relate one object to another. Say ...