A systematic study of category theory then allows us to prove general results about any of these types of mathematical structures from the axioms of a category . A systematic study of category theory then allows us to prove general results about each of these types of mathematical structures from the axioms of a category .
Satu kajian sistematik teori kategori kemudian membolehkan kita untuk membuktikan hasil umum tentang mana-mana jenis struktur matematik dari aksiom kategori. Satu kajian sistematik teori kategori kemudian membolehkan kita untuk membuktikan hasil umum tentang setiap jenis struktur matematik dari aksiom kategori.