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

Lecture

Geometric realization: Simplicial sets

In course

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous examples of model categories and their applications in ...

Description

This lecture covers the construction of a left adjoint to the singular set functor, comparing the homotopy theory of topological spaces with that of simplicial sets. It explains the process step by step, illustrating the geometric realization of standard simplicial n-simplices.

Official source

Ontological neighbourhood

Mathematics

Topology: Algebraic topology

Related concepts (32)

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.

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).

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.

Singular homology

In algebraic topology, singular homology refers to the study of a certain set of algebraic invariants of a topological space X, the so-called homology groups Intuitively, singular homology counts, for each dimension n, the n-dimensional holes of a space. Singular homology is a particular example of a homology theory, which has now grown to be a rather broad collection of theories. Of the various theories, it is perhaps one of the simpler ones to understand, being built on fairly concrete constructions (see also the related theory simplicial homology).

Adjoint functors

In mathematics, specifically , adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are known as adjoint functors, one being the left adjoint and the other the right adjoint. Pairs of adjoint functors are ubiquitous in mathematics and often arise from constructions of "optimal solutions" to certain problems (i.e.

Related lectures (33)

The Simplex Category: Simplicial Sets

Covers the combinatorics of the simplex category and its equivalence to topological spaces, as well as the concept of functor categories for cosimplicial and simplicial objects.

The Topological Künneth Theorem

Explores the topological Künneth Theorem, emphasizing commutativity and homotopy equivalence in chain complexes.

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.

Group Cohomology

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.

Acyclic Models: Cup Product and Cohomology