Kategori grup

Dalam matematika, kategori Grp memiliki kelas dari semua gruo untuk objek dan homomorfisme gruo untuk morfisme. Karena itu, ini adalah kategori konkret. Studi tentang kategori ini dikenal sebagai teori grup.

Kaitannya dengan kategori lain

Ada dua fungsi pelupa dari Grp, M: GrpMon dari grup ke monoids dan U: GrpHimpunan dari grup ke himpunan. M memiliki dua adjoin: satu kanan, I: MonGrp, dan satu lagi, K: MonGrp. I: MonGrp adalah functor mengirim setiap monoid ke submonoid elemen yang dapat dibalik dan K: MonGrp Functor mengirimkan setiap monoid ke grup Grothendieck dari monoid itu. Functor pelupa U: GrpHimpunan memiliki adjoint kiri yang diberikan oleh komposit OF: HimpunanMonGrp, di mana F adalah Funktor bebas; funktor ini menetapkan ke setiap set S grup bebas pada S.


Sifat kategoris

Monomorfisme dalam Grp tepatnya adalah homomorfisme injektif, epimorfisme tepatnya adalah homomorfisme perkiraan, dan isomorfisme tepatnya adalah homomorfisme bijektif.

Referensi