Coherently generic adjunctions

Dominic Verity – 16 November 2011, 23 November 2011, 30 November 2011

My aim in these talks is to discuss the homotopy coherence properties of adjunctions between quasi-categories. Much of what I will say will be expository in nature, but I hope that my ramblings will culminate in a simple and fully explicit description of the quasi-categorically enriched category containing the generic such adjunction. I also hope to sketch a proof that this structure does indeed possesses the universal property expected of such a beast.

This is joint work with my dear friend Dr Emily Riehl of Harvard.