@ [Peter](https://forum.azimuthproject.org/discussion/comment/19654/#Comment_19654)

He may mean [cardinal multiplication](https://en.wikipedia.org/wiki/Cardinal_number#Cardinal_multiplication).

What he says is clearly valid for finite categories and should also be true for infinite categories.