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

Lecture

Infinity Category Theory: Lecture 2

Description

This lecture delves into infinity category theory, discussing concepts such as ABB, Kao-cosmos, homotopy, categories, and equivalences. The instructor explores the theory of 00-categories inside K₂, finite products, and adjunctions. Various types of diagrams indexed by simplicial sets are also covered.

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.

Equivalence relation

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class.

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.

A¹ homotopy theory

In algebraic geometry and algebraic topology, branches of mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is.

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

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.

Simplicial and Cosimplicial Objects: Examples and Applications

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

Homotopy Coherent Groups and Quasi-Categories

Covers the characterization of trivial Kan fibrations and the importance of homotopy coherent groups.

Active Learning: Functors and Geometric Realization