Homotopy Type Theory geometric algebra > history (Rev #5, changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

Defintion

Given a commutative ring $R$, a $R$geometric $R$-algebra - is ageometric algebrafiltered $R$-algebra is agraded $R$-module$A$ and with an a$R$-algebraring isomorphism? $j:⟨A{⟩}_0\cong R$ j:\langle A \rangle_0 \cong R with such canonical that ring the homomorphism product of every$i1:R\to A$ i:R 1 \to A -vector with an itself is aisomorphism?$0$ -vector.$j:\langle A \rangle_0 \cong R$ and a quadratic form $(-)^2:\langle A \rangle_1 \to R$.