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 .
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 .

Are these two sentences paraphrases of each other?
Select from the following.
(a). no.
(b). yes.
(b).