See notes and emails in the two files thesisnotesAug9, and notes_emails_etc, in the corrected thesis folder
nLab page on More emails