Infinity category theory from scratch

Publication date 24 February 2020

Full work available at URL https://arxiv.org/abs/1608.05314

\(\infty\)-categories adjunctions colimits fibrations Kan extensions limits modules

Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We use the terms "

i n f t y

-categories" and "

i n f t y

-functors" to mean the objects and morphisms in an "

i n f t y

-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal spaces,

h e t a_{n}

-spaces, and fibered versions of each of these are all

i n f t y

-categories in this sense. We show that the basic category theory of

i n f t y

-categories and

i n f t y

-functors can be developed from the axioms of an

i n f t y

-cosmos; indeed, most of the work is internal to a strict 2-category of

i n f t y

-categories,

i n f t y

-functors, and natural transformations. In the

i n f t y

-cosmos of quasi-categories, we recapture precisely the same theory developed by Joyal and Lurie, although in most cases our definitions, which are 2-categorical rather than combinatorial in nature, present a new incarnation of the standard concepts. In the first lecture, we define an

i n f t y

-cosmos and introduce its "homotopy 2-category," using formal category theory to define and study equivalences and adjunctions between

i n f t y

-categories. In the second lecture, we study (co)limits of diagrams taking values in an

i n f t y

-category and the relationship between (co)limits and adjunctions. In the third lecture, we introduce comma

i n f t y

-categories, which are used to encode the universal properties of (co)limits and adjointness and prove "model independence" results. In the fourth lecture, we introduce (co)cartesian fibrations, describe the calculus of "modules" between

i n f t y

-categories, and use this framework to prove the Yoneda lemma and develop the theory of pointwise Kan extensions of

i n f t y

-functors.

Recommendations

Cites work

Cited in

(24)

This page was built for publication: Infinity category theory from scratch

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217590)