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

Definition

Given a ring $R$, a $R$-algebra is a $R$-$R$-bimodule with a bilinear function $(-)\cdot(-): A \times A \to A$.

See also

• module
• Z-algebra
• unital algebra?
• associative algebra?
• commutative algebra (module theory)?
• algebra (ring theory) (which are associative unital algebras)
• commutative algebra (ring theory) (which are commutative associative unital algebras)
• cancellation algebra?
• reciprocal algebra?
• division algebra?