In mathematics, more specifically category theory, a quasi-category is a generalization of the notion of a category. The study of such generalizations is known as higher category theory. Quasi-categories were introduced by Boardman & Vogt. Wikipedia