The theory of quasi-categories is one of the more fully fledged models of (∞,1)-categories. I will give and explain the definition of quasi-categories and shed some light on why it might be worthwhile to care about higher categories.