I felt that we needed an explicit entry

to collect the notions of category theory available in the context of (oo,1)-categories.

I had first started making this a subsection at (infinity,1)-category, but then I felt that this should parallel category and category theory.

In this context I then also felt like creating (infinity,1)-Grothendieck construction. This so far is just a collection of pointers, but eventually for instance some of the material currently hidden at limit in a quasi-category should be moved here.

]]>