nLab
infinity-Lie theory - contents