Ne pomnyu uzh, za davnosti'yu, no skoree vsego ehkvivalentnost' kommutativnykh DG algebr i DG algebr Lie (racional'nuyu teoriyu gomotopij tipa). Sam Quillen v predislovii pishet, chto "the same constructions come up again and again", i chto mol, nu davajte uzh aksiomatiziruem, koli tak.

(Reply to this) (Parent)