According to Mac Lane (see p19 of Topology and logic as a source of algebra, Bull. Amer. Math. Soc. 82 (1976) 1-40) they were introduced by Eilenberg-Zilber in 1950 under the name complete semisimplicial complexes.
Steve Lack
- 3.1k
- 27
- 20