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.
Elit nisi officia ea voluptate labore. Mollit Lorem laborum dolore ad enim quis mollit consectetur nostrud et voluptate ullamco fugiat. Consequat tempor consequat sit ipsum qui do consequat qui Lorem aliquip labore et in nisi. Enim in aliquip aute sint.
Introduces the construction of quasi-categories from Kan enriched categories through defining simplicially enriched categories and constructing the simplicial nerve functor.