endomorphism
automorphism
heterosystem
act
name-based type system
nominal type system
iso-
homomorphically
isoclass
monomorphism
quism
homomorphous
abelianization
pseudobinary
exact
heteromorphism
polymorphia
inverse limit
quasimonomorphic
orthomorphism
collineation
pseudomorphed
hemiplasy
gradual typing
anhomomorphic
anabelian geometry
isomorphism
homotypal
homologously
systemize
cocenter
Hindley-Milner type system
body
monoidal category
Hurewicz theorem
homomorphic
pleomorphism
kernel pair
mode
ultrahomogeneous
automorphically
metasystem
pseudofunctor
Lindenmayer system
greedoid
mathematics
polysystem
bicameral
generalized element
opmonoidal