CatGloss
Such an arrow is called a
group isomorphism
. In $ mathbf{Top} $