| http://www.w3.org/ns/prov#value | - The -algebra generated by the elements , can be considered as differential graded Banach algebras by requiring that the morphism is a morphism of differential graded algebras ( is viewed as a differential graded Banach algebra concentrated in degree 0) and the , and .
|