This entry is about a section of the text
A -formal group is a -group whose underlying -functor is a -formal functor.
The previous constructions in chapter II carry over to -formal groups.
Let be a commutative -group functor. Then the Cartier dual of is defined by
Moreover we have