Součin (teorie kategorií)