Let be separable -algebras. A morphism is semiprojective if for any separable -algebra , any increasing sequence of ideals with and any morphism , there exist and an “-relative lift” in the sense that the composition equals the composition , where is the epimorphism induced by the inclusion of ideals.
A separable -algebra is semiprojective if the identity is a semiprojective morphism. In particular, every projective separable -algebra is semiprojective. They are viewed as a generalization of (continuous function algebras) of ANRs for metric spaces.
This notion is used in the strong shape theory for separable -algebras.
Bruce Blackadar, Shape theory for -algebras.
Math. Scand. 56 (1985), no. 2, 249–275, MR87b:46074, pdf
Marius Dādārlat, Shape theory and asymptotic morphisms for -algebras, Duke Math. J. 73 (3):687-711, 1994, MR95c:46117, pdf
Last revised on October 12, 2011 at 23:32:13. See the history of this page for a list of all contributions to it.