CatDat

identity map of a group

Every object of a category has an identity morphism. In this case, we take a group GG and consider its identity morphism idG:GG\id_G : G \to G in Grp\Grp.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties