group functor

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

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.

- Michel Demazure, lectures on p-divisible groups web

Created on May 22, 2012 15:13:10
by Stephan Alexander Spahn
(92.107.33.69)