Formal varieties -- Formal groups and buds -- The general equivalence of categories -- The special equivalences of categories -- The structure theorem and its consequences -- On formal groups in characteristic p -- Extending and lifting some formal groups