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 .
Satu kajian sistematik teori kategori kemudian membolehkan kita untuk membuktikan hasil matematik tentang mana-mana jenis struktur umum dari aksiom kategori. Satu kajian sistematik teori kategori kemudian membolehkan kita untuk membuktikan hasil matematik pada setiap jenis struktur umum dari aksiom kategori.