A topic schedule and references for a seminar on basic (∞,1)-category theory, held Winter 2009.
Here a word on the motivation of -category theory for an audience familiar with model category theory, and the statement of a result that may serve as a guiding light for the development of the theory here.
We have seen the notions of
A central result putting these concepts together is Dugger’s theorem:
Model category theoretic statement
One may ask for the intrinsic of this statement. A point of view that explains the technology of model categories, their Quillen equivalences etc. as the presentation of something conceptually more natural: Dugger’s theorem can be read in a precise sense as saying that combinatorial model categories provide a generators and relations presentation of (∞,1)-categories: a notion of category where hom-sets are refined to hom-Kan complexes.
It turns out that most of ordinary category theory has generalizations to (∞,1)-category theory and that all constructions in model category theory are models for this: concrete realizations of something that is more intrinsically defined.
Here is a bare list of possible topics. The items are repeated with background information and pointers to the literature below.
Basics of -category theory
basic notions of (∞,1)-category theory
Universal constructions in -category theory
-Sheaf and topos theory
A semi-technical survey of central aspects of -category theory is in the section
There are several models for the notion of (∞,1)-category. Two of them are
quasi-categories – these are simplicial sets satisfying a condition slightly weaker that that of a Kan complex: where the latter ensures that all cells may be composed and have inverses, the weaker condition requires on 1-cells only that they may be composed.
In practice one often passes back and forth between these two realizations, as convenient, using the homotopy coherent nerve and its left adjoint that establish the relation between quasi-categories and simplicial categories.
All the basic notions of category theory have pretty straightforwards analogs in both models, but some are more immediate in one model than in the other. For instance (∞,1)-functors are naturally formulated on quasi-categories, while hom-spaces are directly read off from -enriched categories.
Basic notions of (∞,1)-category theory
The notion of quasi-category appeared first in
…more goes here…
One procedure for turning a quasicategory into a simplicial category is described in:
A different, equivalent, construction is in
Since a limit in an ordinary category is a universal cone it is straightforward to say what a limit in a quasi-category is, once we have a notion of cone in that context. It turns out that this is neatly modeled by the notion of join of simplicial sets – a natural monoidal structure on SSet induced simply from the ordinal sum operation on the augmented simplex category.
Using the corresponding notion of join of quasi-categories we can speak of over quasi-categories and then define the limit over an (∞,1)-functor as the (quasi-categorical) terminal object of the over quasi-category .
Joins of quasi-categories are discussed
An equivalent variant is discussed in
Limits in quasi-categories are discussed
Adjoint -functors are the topic of section 5.2 in that book.
Categories of -presheaves are the topic of section 5.1 of
The theory of localizations of these is in sections 5.2.7 and 6.2.1 in
An accesible development of basics of quasi-category theory designed to serve as course notes is
This is meanwhile developing in a textbook, which however is not yet available. But Joyal has begun working on expositional material here:
which is however less expositional.
Quasi-categories originally appeared – under the term weak Kan complex – in
Rainer Vogt, Homotopy limits and colimits, Math. Z., 134, (1973), 11–52.
but the insight that “there is category theory for quasi-categories” was pointed out only later by Joyal.
After a long while in which no generally good model for higher category theory seemed in reach, there is now a plethora of them available.
A survey of the relation between four different models for (∞,1)-categories is
Here we concentrate on two models: quasi-categories and simplicial categories. Their relation is the topic of HTT, section 1.1.5. The homotopy coherent nerve relating these in one direction goes back to
A review of the construction is in
This and its left adjoint is also discussed in section 1.1.5 of
An alternative, equivalent but possibly more insightful, construction of the left adjoint is the topic of
and sections 4 (limits) and 5.2 (adjunctions) of
For the theory of localizations of -presheaf categories there is section 5.2.7 and section 6.2.1 in that book.