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.
Does the nLab mention the Eilenberg-Zilber lemma anywhere? I cannot find it.
I don’t think we do. Google’s site-specific search for
"Eilenberg-Zilber lemma" site:ncatlab.org
gives precisely two hits: this page you just created, and a pdf note by Joyal sitting on our server
Regarding the EZ-theorem, though, I have copied over the reference
to a section “Selected writings” here.
1 to 4 of 4