In these talks I hope to present a new proof of the Beck monadicity theorem for quasi-categories. In the process I shall re-present the foundations of elementary quasi-category theory in a more "Antipodean" style. My ultimate goal will be to convince you that the Beck monadicity theorem may be expressed as an almost completely formal result regarding the combinatorics of the generic adjunction simplicial category (on which topic I spoke earlier in the year).
Joint work with my good friend Dr. Emily Riehl of Harvard University.