Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Why Quasicategories?

Description

This lecture explores the benefits of quasi-category theory, comparing Quillen Equivalences with Equivalences of Quasi-Categories, delving into the Homotopy Theory of Homotopy Theories, and discussing Model Structures on Diagram Categories.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (24)

Quasi-category

In mathematics, more specifically , a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex, quategory) is a generalization of the notion of a . The study of such generalizations is known as . Quasi-categories were introduced by . André Joyal has much advanced the study of quasi-categories showing that most of the usual basic and some of the advanced notions and theorems have their analogues for quasi-categories.

Model category

In mathematics, particularly in homotopy theory, a model category is a with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations' satisfying certain axioms relating them. These abstract from the category of topological spaces or of chain complexes ( theory). The concept was introduced by . In recent decades, the language of model categories has been used in some parts of algebraic K-theory and algebraic geometry, where homotopy-theoretic approaches led to deep results.

Weak equivalence (homotopy theory)

In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.

Homotopy theory

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and (specifically the study of ). In homotopy theory and algebraic topology, the word "space" denotes a topological space.

Higher category theory

In mathematics, higher category theory is the part of at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology (especially in homotopy theory), where one studies algebraic invariants of spaces, such as their fundamental . An ordinary has and morphisms, which are called 1-morphisms in the context of higher category theory.

Related lectures (34)

Quillen pairs and Quillen equivalences: Derived functors

Explores Quillen pairs, equivalences, and derived functors in homotopical algebra.

Homotopy Theory of Chain Complexes

Explores the homotopy theory of chain complexes, focusing on model categories, weak equivalences, and the retraction axiom.

Homotopy theory of chain complexes

Explores the homotopy theory of chain complexes, focusing on retractions and model category structures.

Existence of Left Derived Functors: Part 2

Concludes the proof of the existence of left derived functors and discusses total left and right derived functors.

Quasi-Categories: Active Learning Session