A category consists of two things: a collection of objects and,
for each pair of objects, a collection of morphisms (sometimes
called "arrows") from one to another.