Towers of algebras #
In this file we prove basic facts about towers of algebra.
An important definition is
to_alg_hom R S A, the canonical
S →ₐ[R] A.
A → End (M) corresponding to the representation of the algebra
In a tower, the canonical map from the middle element to the top element is an algebra homomorphism over the bottom element.
R ⟶ S induces S-Alg ⥤ R-Alg
If A/S/R is a tower of algebras then the
restriction of a S-subalgebra of A is
an R-subalgebra of A.
Produces a map from