sentence1: A systematic study of category theory then allows us to prove mathematical results about any of these types of general structures from the axioms of a category .
sentence2: A systematic study of category theory then allows us to prove mathematical results on each of these types of general structures from the axioms of a category .