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

Lecture

The Joyal Model Structure

Description

This lecture covers the definition and study of the Joyal Model structure, highlighting that the simplicial set of maps into a quasi-category forms a quasi-category, the fibrant objects in this structure are the quasi-categories, and that it is not right proper or simplicial.

Official source

Related concepts (18)

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.

Simplicial set

In mathematics, a simplicial set is an object composed of simplices in a specific way. Simplicial sets are higher-dimensional generalizations of directed graphs, partially ordered sets and . Formally, a simplicial set may be defined as a contravariant functor from the to the . Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber. Every simplicial set gives rise to a "nice" topological space, known as its geometric realization.

Simplicial complex

In mathematics, a simplicial complex is a set composed of points, line segments, triangles, and their n-dimensional counterparts (see illustration). Simplicial complexes should not be confused with the more abstract notion of a simplicial set appearing in modern simplicial homotopy theory. The purely combinatorial counterpart to a simplicial complex is an abstract simplicial complex. To distinguish a simplicial complex from an abstract simplicial complex, the former is often called a geometric simplicial complex.

Abstract simplicial complex

In combinatorics, an abstract simplicial complex (ASC), often called an abstract complex or just a complex, is a family of sets that is closed under taking subsets, i.e., every subset of a set in the family is also in the family. It is a purely combinatorial description of the geometric notion of a simplicial complex. For example, in a 2-dimensional simplicial complex, the sets in the family are the triangles (sets of size 3), their edges (sets of size 2), and their vertices (sets of size 1).

Kan fibration

In mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard structure on simplicial sets and are therefore of fundamental importance. Kan complexes are the fibrant objects in this model category. The name is in honor of Daniel Kan. For each n ≥ 0, recall that the , , is the representable simplicial set Applying the geometric realization functor to this simplicial set gives a space homeomorphic to the topological standard -simplex: the convex subspace of Rn+1 consisting of all points such that the coordinates are non-negative and sum to 1.

Related lectures (32)

Simplicial and Cosimplicial Objects: Examples and Applications

Covers simplicial and cosimplicial objects in category theory with practical examples.

From Simplicial Categories to Quasicategories

Introduces the construction of quasi-categories from Kan enriched categories through defining simplicially enriched categories and constructing the simplicial nerve functor.

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.

Schematic Models: Quasi-Categories and ∞-Groupoids

Covers schematic models, emphasizing quasi-categories and ∞-groupoids in modeling categories.

Nerves and Geometric Realization