加载中…
The category of all -algebras with a bilinear form, whose objects are all pairs where is a -algebra and is a bilinear mapping, is equivalent to the category of unital -algebras for which the canonical homomorphism of unital -algebras is a splitting monomorphism in the category of -modules. Call the left inverses of this splitting monomorphism “weak augmentations” of the algebra. There is a category isomorphism between the category of -algebras with a weak augmentation and the category of unital -algebras with a bilinear form compatible with the multiplication of , i.e., such that for all for which .

生成讲解博客的中文版本

生成AI智能校验的中文版本