Algebra is a field of mathematics which is not
rigorously delimited but can roughly be described as a focus on
a range of some remarkable concepts and tools concerning model
theory (the study of theories and
their models in the context of set theory).

Here is a series of texts on the foundations of
algebra, that will be progressively developed.

Languages3.2. Algebras

Relational systems

Morphisms

Concrete categories

Preserved structures

Preservation of some defined structures

Rebuilding structures in a concrete category

Categories of typed systems

Algebra3.3. Special morphisms

Morphisms of algebras

Subalgebras

Images of algebras

Stable subsets

Preimages of stable subsets

Intersections of stable subsets

Subalgebra generated by a subset

Minimal subalgebra

Injective, surjective algebras

Injectivity lemma

Schröder–Bernstein theorem

Quotient systems3.4. Monoids

Strong preservation, embeddings and isomorphisms

Embeddings of algebras

Elementary embeddings

Elementary equivalence

Endomorphisms, Automorphisms

The Galois connection (End, Inv)

Transformations monoids3.5. Actions of monoids

Monoids

Cancellativity

Commutants and centralizers

Other concepts of submonoids and morphisms (anti-morphisms)

Left actions3.6. Invertibility and groups

Right actions

Effectiveness and free elements

Acts as algebraic structures

Trajectories

Trajectories by commutative monoids

Permutation groups3.7. Categories

Inverses

Groups

Special actions

The Galois connection (Aut, sInv)

Functions defined by composition3.8. Initial and final objects

Monomorphism, Epimorphism

Section, Retraction

Representation theorem

Embeddings in concrete categories3.9. Eggs, basis, clones and varieties

Products in concrete categories

Products in categories

Categories of acts

Eggs

Basis and algebraic structures

Clones

Abstract clones and varieties

4. and 5. are not required to continue with the following texts on algebra

4. Arithmetic and first-order foundations

5. Model Theory

.

Truth of formulas in productsPolymorphisms and invariants

Morphisms into products

Products of algebras

The Galois connection Inv-Pol between sets of operations and relationsDuality systems and theories

The Galois connection Pol-Pol between sets of operations

Vector spaces and their dualities

References of works by other authors on duality systems:

Sir-algebras (with also a list of Galois connections on page 2)

On duality theories

००੦౦০

ᐅ⊳▷▹▻

ⵁ∅⌀

°ᴼ⁰॰⚬⚪ⵔ৹∘০०੦௦૦ⵔо໐ᴏoօ౦๐ഠܘߋₒ

Back to home page: Set theory
and foundations of mathematics