This is a book for mathematicians