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.
1 to 4 of 4
split off differential forms on presheaves from rational homotopy theory. Expanded and edited differential forms on simplices.
added the Quillen adjunction
$\Omega^\bullet_{poly} : sSet \to cdgAlg_k^{op}$added to differential forms on simplices the assertion that
$\int \;\;:\;\; \Omega^\bullet_{poly}(S) \to C^\bullet(S,k)$is a quasi-isomorphism.
added to differential forms on simplices the assertion that $\Omega^\bullet_{poly}$ preserves products of simplicial sets up to quasi-isomorphism
1 to 4 of 4