>>164
ホモトピー代数って、どんなの?