BilTop | Walker Stern | Quasi-categories and simplicially enriched categories

In this talk, we define quasi-categories as simplicial sets satisfying a lifting condition related to both categories and Kan complexes. We describe an adjunction that relates quasi-categories and simplicially enriched categories and explain how it allows us to define some first categorical notions in quasi-categories.
Part I of a sequence on Higher Categories.