Homotopy Type Theory commutative algebra (ring theory) > history (Rev #4, changes)

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

Definition

Given a commutative ring $R$, an commutative $R$-algebra is a commutative ring $A$ with a commutative ring homomorphism? $f:R \to A$

See also

• commutative ring
• polynomial ring
• algebra (ring theory)