Library
▹
Algebra
▹
Magmas
▹
Homomorphisms
Hom
(homomorphisms)
Iso
(isomorphisms)
Aut
(automorphisms)
Aut
id
M
Iso(
M
,
N
) is nonempty ⇔
M
=
N
if
M
,
N
are magmas
φ
-1
∈ Iso(
N
,
M
)
if
M
,
N
are magmas,
φ
:
M
↔
N
is an isomorphism