QEp 6: The Joyal Model Structure

In this video we define and study the Joyal Model structure. As part of our study we also see

• The simplicial set of maps into a quasi-category forms a quasi-category.
• The fibrant objects in the Joyal model structure are the quasi-categories.
• The Joyal model structure is not right proper or simplicial.