Homotopy Type Theory commutative algebra (ring theory) > history (changes)

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

Definition

< commutative algebra

Given a

commutative ring RR, an commutative RR-algebra is a commutative ring AA with a commutative ring homomorphism? f:RAf:R \to A

See also

Last revised on June 17, 2022 at 14:12:27. See the history of this page for a list of all contributions to it.