About Prof. Mac Lane's Ph.D. Thesis