Embedding: Mathematics, Mathematical structure, Group (mathematics), Subgroup, Injective function, Category theory, Morphism, Natural number, Integer, Rational Real Complex number

Discrete Group: group, Mathematics, Group (mathematics), space, Topological Subgroup, Subspace topology, Integer,...

Morphism: Mathematics, Abstraction (mathematics), Map Mathematical structure, Category theory, Concrete category, Set...

Natural Transformation: Mathematics, Category Theory, Morphism

Totally Real Number Field: Theory, Field, Number, Embedding, Complex Integer Polynomial