Lecture
Homotopy Coherent Groups and Quasi-Categories
Description
This lecture covers the characterization of trivial Kan fibrations, mapping spaces in simplicial model categories, different approaches to higher category theory, defining a terminal object in a quasi-category, and the importance of homotopy coherent groups. The instructor discusses the significance of studying homotopy coherent groups even though they can be strictified.
Instructor
do aliqua
Nulla amet et laboris labore enim do deserunt exercitation ullamco. Consectetur elit nostrud irure qui culpa. Do aute laboris ex fugiat laboris nulla est reprehenderit nulla non pariatur excepteur. Minim qui ipsum amet mollit aliquip ut eu esse aliquip consequat. Velit voluptate incididunt amet nostrud deserunt laboris aute esse aute aliqua occaecat nostrud velit. Commodo sunt est proident ut eu velit ea sunt.
Official source
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 (33)
Adjunction between Simplicial Sets and Enriched Categories
Covers the adjunction between simplicial sets and simplicially enriched categories, including preservation of inclusions and construction of homotopy categories.
Quasi-Categories: Active Learning Session
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.
Schematic Models: Quasi-Categories and ∞-Groupoids
Covers schematic models, emphasizing quasi-categories and ∞-groupoids in modeling categories.
Derived functors: Identity and Homotopy Categories
Explores derived functors in model categories, focusing on identity and homotopy categories.
From (Model) Categories to Quasicategories
Explores the relationship between categories and quasi-categories.