  This introduction to higher category theory is intended to a give the reader
an intuition for what $(\infty,1)$-categories are, when they are an appropriate
tool, how they fit into the landscape of higher category, how concepts from
ordinary category theory generalize to this new setting, and what uses people
have put the theory to. It is a rough guide to a vast terrain, focuses on ideas
and motivation, omits almost all proofs and technical details, and provides
many references.
