# Tannaka duality for rings #

A ring `R`

is equivalent to
the endomorphisms of the additive forgetful functor `Module R ⥤ AddCommGroup`

.

An ingredient of Tannaka duality for rings:
A ring `R`

is equivalent to
the endomorphisms of the additive forgetful functor `Module R ⥤ AddCommGroup`

.

## Equations

- One or more equations did not get rendered due to their size.