Library
▹
Algebra
▹
Pointed sets
▹
Homomorphisms
Hom
(homomorphisms)
Iso
(isomorphisms)
Aut
(automorphisms)
Aut
id
S
Iso(
S
,
T
) is nonempty ⇔
S
=
T
if
S
,
T
are pointed sets
φ
-1
∈ Iso(
T
,
S
)
if
S
,
T
are pointed sets,
φ
:
S
↔
T
is an isomorphism