## Simplicial homotopy book suggestion for HTT computations

I'm struggling through Lurie's Higher Topos Theory, since it appears that someone reading through the book is expected to be somewhat comfortable with simplicial homotopy theory. The main trouble I've had is computing things like the join, product, coproduct, pullback, pushout, and so forth. I understand them as far as their universal properties, and maybe have a little intuition because the category of simplicial sets is a presheaf category over the simplex category, but Lurie uses geometrical language, so I can't even compute like when working with presheaves. So, could you lot recommend some books or lecture notes, preferably with suggested sections, that won't go too deep into simplicial homotopy theory, but deep enough for me to learn how to compute?

Note: Most of the time I waste is sitting around with that book is trying to make sense of the computations, while I understand the arguments just fine. So please, don't suggest an entire book detailing all of simplicial homotopy theory from start to finish. I have a goal in mind here, and I'm only trying to learn as much as is necessary for me to continue reading HTT.

-
While Charles's answer is good, the whole point of making this community wiki was to get more answers. – Harry Gindi Dec 13 2009 at 15:21

I'm not really sure what you are asking for. Colimits and limits are easy to compute in simplicial sets, because it's a presheaf category (as you say). But if you want "geometrical" intuition about simplicial sets (including "pictures" of joins, etc.), you want to know about the geometric realization functor from simplicial sets to spaces. In particular, the fact that geometric realization preserves colimits (it's a left adjoint), and that it preserves finite limits (essentially a theorem of Milnor).

The limit result is proved in the book by Gabriel-Zisman. (Goerss-Jardine mention the result in chapter 1, but don't seem to prove it.)

-

Echoing what Urs said, "But you should all be using the nLab more: if you want literature on quasi-categories, look up the references section on quasi-categories! :-) " and in regard to your question in particular, "See the nLab page on simplicial sets for links."

By looking at this nLab page on simplicial sets, in the references section you'll have found (as of this date, July 21, 2011 10:19 pm, EST):

which is chock full of pictures illustrating the geometric ideas underlying the combinatorics of simplicial sets. As Friedman discusses in the introduction on the second and third pages of this paper,

"Here, for the most part, you won't find many complete proofs of theorems, and so these notes will not be completely self-contained. Rather, I try primarily to show by example how the very basic combinatorics, including the definitions, arise out of geometric ideas and to show the geometric ideas underlying the most elementary proofs and properties."

Suffice it to say, those notes may be the end of your search in finding a concise introduction to simplicial sets that also helps develop your geometric intuition and the computation of products. You also might find the references I gave in answer to the question here helpful.

-

Harry,have you looked at Gelfland and Manin's Methods of Homological Algebra (2nd ed)? There's a pretty impressive final chapter introduction to homotopical algebra and a good part of the book is concerned with homological algebra via simplicial sets. It probably contains just what you need to know.I'm carefully reading it for the first time now-just skimmed it before now. Another book also worth checking out that has a chapter on the basics of simplical sets and thier relations to topological spaces is Wiebel's An Introduction To Homological Algebra. This book needs to be in every topologist's library.

-

One thing that might help is to develop some intuition about triangulable spaces and the analogies with simplicial sets. Taking the geometric realization and drawing some pictures might hel you get comfortable with these ideas.

-

This doesn't seem to be widely known (even though the nLab tells anyone who googles "quasi-category" or similar) but André Joyal's very nice and accessible pre-book/lecture notes (reference 44 in HTT) is available online

The pdf is here:

This is bundled with lecture notes by Ieke Moerdijk on (oo,1)-operads and by Betrand Toën on derived stacks over simplicial rings in one remarkable collection of lecture notes, that was supposed to have been officially published already, but keeps being delayed:

Simplicial methods in higher categories (Barcelona, 2008): Course Notes.

Have a look. This is a very nice resource. But notice that these lecture notes were distributed before that course started and meanwhile improved and polished versions exist, likely available on request from the authors.

-