Group theory MOC

Category of groups

The category of groups 𝖦𝗋𝗉 is the category where each object is a group and each morphism is a group homomorphism. #m/def/group

Properties

• The Initial and terminal objects are both the Trivial group {𝑒}
• The Products and coproducts are the Direct product of groups and the Free product of groups respectively
• A full subcategory is 𝖠𝖻.

#state/develop | #lang/en | #SemBr