The R-algebra structure on families of R-algebras #
The R-algebra structure on
∀ i : I, A i when each
A i is an R-algebra.
Main definitions #
R-algebra homomorphism between the function spaces
I → A and
I → B, induced by an
A family of algebra equivalences
∀ i, (A₁ i ≃ₐ A₂ i) generates a
multiplicative equivalence between
∀ i, A₁ i and
∀ i, A₂ i.