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

The category of pointed sets.

The category of abelian groups.

The category of groups.

The category of monoids.

The category of rings.

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

The category of Lie algebras over a fixed field.

## Comments (0)

There are also: