Quasi-category

A quasi-category is a concept from the field of category theory, specifically in homotopy theory. It is used to formalize the notion of "weak n-categories" where we want to study spaces that behave like categories, but where the laws of composition and associativity are only satisfied up to higher homotopies. Quasi-categories are defined in a more relaxed way compared to ordinary categories.