This lecture applies a theorem to show that the nerve of a category is a quasi-category, and proves that the simplicial nerve of a full subcategory of fibrant-cofibrant objects in a simplicial model category is also a quasi-category.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
