Prove A * (B * C) ≅ (A * B) * C for categories
Merge pull request #430 from JasonGross/prod-assoc

A * (B * C) ≅ (A * B) * C, for categories
./autogen.sh