nLab
group functor

A group functor is a group object in a functor category.

Terminology

The terminology of group-functors is mainly used in the theory of algebraic groups in algebraic geometry. If $G$ is a group functor the multiplication morphism $\pi :G\times G\to G$ is called group law on $G$. An example of special interest in this context is that of a group scheme.

References

• Michel Demazure, lectures on p-divisible groups web