Associativity law: $latex \alpha$ is the associator in the appropriate category (top, in Set; bottom, in C).