Edited lambda section up to dold-kan correspondence.