Lemma 6.15.2. The following categories, endowed with the obvious forgetful functor, define types of algebraic structures:

1. The category of pointed sets.

2. The category of abelian groups.

3. The category of groups.

4. The category of monoids.

5. The category of rings.

6. The category of $R$-modules for a fixed ring $R$.

7. The category of Lie algebras over a fixed field.

Proof. Omitted. $\square$

There are also:

• 2 comment(s) on Section 6.15: Algebraic structures

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).