Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started formal dg-algebra
expanded a bit more
In the old Sullivan reference the condition for A to be formal is that there is a quasi-iso .
In newer references, such as the survey by Kathry Hess, it says instead that there is a span of quasi-isos between and . Since in the model structure on dg-algebras all objects are fibrant, I take it that this is equivalent to saying that and are isomorphic in the homotopy category. This is the way I state the definition now. But check if I am mixed up.
1 to 2 of 2