Cokernels in the Category of Formal Group Laws. - Oleg Demchenko; Alexander Gurevich (Appl. Categorical Struct., 2022)