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

## Definition

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

## See also

Revision on June 16, 2022 at 02:10:12 by
Anonymous?.
See the history of this page for a list of all contributions to it.