Lecture

From Simplicial Categories to Quasicategories

Description

This lecture introduces the construction of quasi-categories from Kan enriched categories through three main steps: defining simplicially enriched categories, constructing the simplicial nerve functor, and proving the result. The instructor explains the process using examples of simplicial structures and demonstrates how to prove the main theorem by analyzing low-dimensional cases.

Instructor

enim ex laborum amet

Consectetur exercitation ipsum eiusmod occaecat est voluptate enim anim labore velit. Aute deserunt duis ad mollit voluptate in ut esse occaecat mollit ut dolore fugiat. Occaecat deserunt pariatur commodo consequat officia qui velit reprehenderit nisi minim labore. Deserunt velit enim duis ex voluptate et ex voluptate dolor cupidatat ullamco consequat. Nisi est ex est aliquip nisi mollit sunt sit duis ipsum culpa in.

Official source

https://mediaspace.epfl.ch/media/0_ing9mzbg

About this result

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.

Ontological neighbourhood

Related lectures (40)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.