HC I: Quasi-categories and simplicially enriched categories

Abstract: 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 sequel on Higher Categories (HC).

algebraic topologycategory theory

Audience: researchers in the topic

Bilkent Topology Seminar

Series comments: Contact the organizer to get access to Zoom.

Recordings of talks available at www.youtube.com/channel/UCLrmyGpqxyeVpTcA1b5HcMw/videos