A * (B * C) ≅ (A * B) * C, for categories

This is on top of #429.