3.10. Products of systems

Products in concrete categories

Many usual concrete categories have products (P, π) of any family of objects (Ei)iI, where the base set of P is usually given by the product of sets P = ∏iI Ei with π = ⊓ IdP (much more often than coproducts have disjoint unions as base sets).
Namely, given any product (P, π), this preferable convention is possible when ⊓π : P ↔ ∏iI Ei, by transferring the role of this product object from P to ∏iI Ei by this bijection. (Its injectivity already implies for any F, Inj ⊓iI Hom (Fi)).
Our main exceptions will be categories of typed systems: with a set T of types, a product of objects with base sets Ei = ∐tT Et,i will have base set

tTiI Et,i.

This is identifiable to a subset of ∏iI Ei if I≠∅ but a copy of T if I = ∅.

Now, for any family of objects (Ei)iI in any concrete category C, consider the set P = ∏iI Ei, with supposedly given structures, or anyhow given the role of an object of C (i.e. with precise sets of morphisms to and from it). Then, the general condition for this object P to play the role of product of the Ei in C, is that

F, ⊓[Mor(F,P)] = ∏iI Mor(F,Ei).

The inclusion side of this equality is equivalent to (∀iI, πi ∈ Mor(P,Ei)). Indeed, Thanks to the essential uniqueness of products in a given category C, this also determines from C all Mor(P,F).

Products of relational systems

In a category of all relational L-systems (with fixed L), any family of systems (Ei, Ei) has a product (P, P) where P is the product of sets and

P = iI Lπi*(Ei) = ∐sL ⊓[ ∏iI si]

For a binary product of L-systems G = E×F these structures are

sG = {x×y | xsEysF} = {zGns | π0z sE ∧ π1zsF}

where x×y = ((x0,y0),..., (xns-1, yns-1)).

To check that it forms a product in this category, for any L-system F and any f = ⊓iI fiPF, i.e. ∀iI, fi = πifEiF,

f ∈ MorL(F,P) ⇔ Lf[F] ⊂ P ⇔ ∀iI, Lf[F] ⊂ Lπi*(Ei)
⇔ ∀iI, fi ∈ MorL(F,Ei) ⇔ ⊓f ∈ ∏iI MorL(F,Ei)

Products of modules

For any morphism b∈Mor(X,Y) in any category, any product of b-modules is also a b-module.
Proof. Let (P, π) a product of a family (Ei)iI of b-modules. Then ∀f∈Mor(X,P), In any category with products, the condition for an object M to be a b-module can be re-expressed as

∃!h∈Mor(Y, ∏Mor(X,M) M), ∀u∈Mor(X,M), πuhb = u.

If moreover the category is concrete, this condition on h is equivalently written

u∈Mor(X,M), ∀xX, πu(h(b(x))) = u(x)
⇔ ∀xX, h(b(x)) = πx|Mor(X,M)

Products of algebras

With an algebraic language L, the product P = ∏iI Ei of a family of L-algebras (Ei, φi) has L-algebra structure φP defined by

(∀iI, πi ∈ MorL(P,Ei)) ⇔ (∀iI, φiLπi = πi⚬φP) ⇔ φP = ⊓iI φiLπi

Indeed, for any L-system F and any f = ⊓iI fiPF,

f ∈ MorL(F,P) ⇔ φPLf = f⚬φF ⇔ ∀iI, φiLf = fi⚬φF
⇔ ∀iI, fi ∈ MorL(F,Ei) ⇔ ⊓f ∈ ∏iI MorL(F,Ei)

This comes as a particular case of product of relational systems (as algebras can be seen as modules):

∀(x,y)∈LP×Py = φP(x) ⇔ ∀iI, yi = φi (Lπi(x)).

Morphisms as subalgebras

For any L-algebras E, F, ∀fFE, f ∈ MorL(E,F) ⇔ Gr f ∈ SubL(E×F).

Proof: ∀sL,
(∀xEns, f(sE(x)) = sF(fx)) ⇔ ∀xEns, ∀yFns, (y = fxf(sE(x)) = sF(y))

⇔ ∀(x×y)∈(Gr f)ns, (sE(x), sF(y)) ∈ Gr f

⇔ ∀z∈(Gr f)ns, sE×F(z) ∈ Gr f

Other proof from previous results:

Hence another proof of the stability of equality subsets:

Set theory and foundations of mathematics
1. First foundations of mathematics
2. Set theory
3. Algebra 1
3.1. Galois connection
3.2. Relational systems and concrete categories
3.3. Algebras
3.4. Special morphisms
3.5. Monoids
3.6. Actions of monoids
3.7. Invertibility and groups
3.8. Categories
3.9. Initial and final objects
3.10. Products of systems
3.11. Eggs, basis and varieties
4. Arithmetic and first-order foundations
5. Second-order foundations
6. Foundations of Geometry