Expressing the statement of the Feit-Thompson theorem with diagrams in   the category of finite groups
  We reformulate the statement of the Feit-Thompson theorem in terms of diagrams in the category of finite groups, namely iterations of the Quillen lifting property with respect to particular morphisms. 
Misha Gavrilovich
math.GR math.CT