If

The role it gives to

If

Given an algebraic language *L*, an equivalence relation *R* on *E* is said to be compatible with an
*L*'-structure **E** if the quotient structure is a functional graph. If **E** is an
algebra structure then Dom(**E**/*R*) = * ^{L}*(

For any

(

(

∀*x*∈*E ^{nr}*,

Injectivity is usually added to the definition of the concept of embedding, as it means strongly preserving the equality relation. Things can come down to this case by replacing equality in the concept of injectivity by a properly defined equivalence relation, or replacing systems by their quotient by this relation, where the canonical surjections would be non-injective embeddings.

**Isomorphism**. Between objects *E*
and *F* of a concrete category, an *isomorphism* is a bijective morphism
(*f* ∈Mor(*E*,*F*) ∧ *f* : *E* ↔ *F*)
whose inverse is a morphism (*f*^{ -1}∈Mor(*F*,*E*)). In
the case of relational systems, isomophisms are the bijective embeddings;
injective embeddings are isomorphisms to their images.

Two objects *E*, *F* of a category are said to be *isomorphic* (to each other) if
there exists an isomorphism between them. This is an equivalence predicate, i.e. it works as an equivalence relation on the class of
objects in this category.

The *isomorphism class* of an object in a category, is the class of all objects
which are isomorphic to it. Then an isomorphism class of objects in a category, is a class
of objects which is the isomorphism class of some object in it (independently of the choice).

- Id
_{A}∈Mor(*A*,*E*), therefore Mor(*A*,*N*) ⊂ {*g*_{|A}|*g*∈Mor(*E*,*N*)} - For any system
*N*, Mor(*N*,*A*) = {*h*∈Mor(*N*,*E*) | Im*h*⊂*A*} - An
*f*∈Mor(*N*,*E*) is an isomorphism to*A*if and only if it is an injective embedding to*E*and Im*f*=*A*.

∀(*s*,*x*,*y*)∈* ^{L'}E*,

Bijective morphisms of algebras are isomorphisms. This can be deduced from the fact they are embeddings, or by

(* ^{L}f*)

Thus, they also preserve invariant structures whose formula may use symbols of

An

Isomorphism ⇒ Elementary embedding ⇒ Embedding ⇒ Injective morphism

The most usual practice of mathematics ignores the diversity of elementarily equivalent but non-isomorphic systems, as well as non-surjective elementary embeddings. However, they exist and play a special role in the foundations of mathematics, as we shall see with Skolem's paradox and non-standard models of arithmetic.

An

Automorphism ⇔ (Endomorphism ∧ Isomorphism)

An endomorphismImfis also invariant (defined by ∃y∈E,f(y)=x)

∀x∈E,x∈Imf⇔f(x)∈ Imf

Imf=E. ∎

∀*M*⊂*E ^{E}*, ∀

Inv =
∏_{n∈ℕ} Inv^{(n)} : ℘(*E ^{E}*) →
∏

Set theory and foundations of mathematics

1. First foundations of mathematics

2. Set theory (continued)

3.1. Relational systems and concrete categories4. Arithmetic and first-order foundations

3.2. Algebras

3.3.Special morphisms

3.4. Monoids

3.5. Actions of monoids

3.6. Invertibility and groups

3.7. Categories

3.8. Initial and final objects

3.9. Eggs, basis, clones and varieties

5. Second-order foundations

6. Foundations of Geometry