Higher category theory | Homotopy theory

Quasi-category

In mathematics, more specifically category theory, 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 category. The study of such generalizations is known as higher category theory. Quasi-categories were introduced by . André Joyal has much advanced the study of quasi-categories showing that most of the usual basic category theory and some of the advanced notions and theorems have their analogues for quasi-categories. An elaborate treatise of the theory of quasi-categories has been expounded by Jacob Lurie. Quasi-categories are certain simplicial sets. Like ordinary categories, they contain objects (the 0-simplices of the simplicial set) and morphisms between these objects (1-simplices). But unlike categories, the composition of two morphisms need not be uniquely defined. All the morphisms that can serve as composition of two given morphisms are related to each other by higher order invertible morphisms (2-simplices thought of as "homotopies"). These higher order morphisms can also be composed, but again the composition is well-defined only up to still higher order invertible morphisms, etc. The idea of higher category theory (at least, higher category theory when higher morphisms are invertible) is that, as opposed to the standard notion of a category, there should be a mapping space (rather than a mapping set) between two objects. This suggests that a higher category should simply be a topologically enriched category. The model of quasi-categories is, however, better suited to applications than that of topologically enriched categories, though it has been proved by Lurie that the two have natural model structures that are Quillen equivalent. (Wikipedia).

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

Derived Categories part 1

We give a buttload of definitions for morphisms on various categories of complexes. The derived category of an abelian category is a category whose objects are cochain complexes and whose morphisms I describe in this video.

From playlist Derived Categories

Video thumbnail

Jean Michel : Quasisemisimple classes

Abstract: This is a report on joint work with François Digne. Quasisemisimple elements are a generalisation of semisimple elements to disconnected reductive groups (or equivalently, to algebraic automorphisms of reductive groups). In the setting of reductive groups over an algebraically c

From playlist Lie Theory and Generalizations

Video thumbnail

Categories 6 Monoidal categories

This lecture is part of an online course on categories. We define strict monoidal categories, and then show how to relax the definition by introducing coherence conditions to define (non-strict) monoidal categories. We finish by defining symmetric monoidal categories and showing how super

From playlist Categories for the idle mathematician

Video thumbnail

Constructing group actions on quasi-trees – Koji Fujiwara – ICM2018

Topology Invited Lecture 6.12 Constructing group actions on quasi-trees Koji Fujiwara Abstract: A quasi-tree is a geodesic metric space quasi-isometric to a tree. We give a general construction of many actions of groups on quasi-trees. The groups we can handle include non-elementary hype

From playlist Topology

Video thumbnail

Schemes 27: Quasicoherent sheaves

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We show how to turn a module over a ring into a sheaf of modules over its spectrum. A quasicoherent sheaf of modules of one which looks locally like one constr

From playlist Algebraic geometry II: Schemes

Video thumbnail

Category Theory 9.1: Natural transformations

Natural transformations

From playlist Category Theory

Video thumbnail

Numerical mathematics of quasicrystals – Pingwen Zhang – ICM2018

Numerical Analysis and Scientific Computing Invited Lecture 15.8 Numerical mathematics of quasicrystals Pingwen Zhang Abstract: Quasicrystals are one kind of fascinating aperiodic structures, and give a strong impact on material science, solid state chemistry, condensed matter physics an

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Charles Rezk - 1/4 Higher Topos Theory

Course at the school and conference “Toposes online” (24-30 June 2021): https://aroundtoposes.com/toposesonline/ Slides: https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart1.pdf In this series of lectures I will give an introduction to the concept of "infinity

From playlist Toposes online

Video thumbnail

Higher Algebra 5: Slices and filtered colimits

In this video, we provide further properties of the derived category of an abelian category. Along the way we discuss slice categories and filtered colimits. This is the fifth video in our introduction to ∞-categories and Higher Algebra. Feel free to post comments and questions at our pub

From playlist Higher Algebra

Video thumbnail

Winter School JTP: Introduction to A-infinity structures, Bernhard Keller, Lecture 3

In this minicourse, we will present basic results on A-infinity algebras, their modules and their derived categories. We will start with two motivating problems from representation theory. Then we will briefly present the topological origin of A-infinity structures. We will then define and

From playlist Winter School on “Connections between representation Winter School on “Connections between representation theory and geometry"

Video thumbnail

Geordie Williamson: Langlands and Bezrukavnikov II Lecture 16

SMRI Seminar Series: 'Langlands correspondence and Bezrukavnikov’s equivalence' Geordie Williamson (University of Sydney) Abstract: The second part of the course focuses on affine Hecke algebras and their categorifications. Last year I discussed the local Langlands correspondence in bro

From playlist Geordie Williamson: Langlands correspondence and Bezrukavnikov’s equivalence

Video thumbnail

Claudia Pinzari: "Weak quasi-Hopf algebras associated to Verlinde fusion categories"

Actions of Tensor Categories on C*-algebras 2021 "Weak quasi-Hopf algebras associated to Verlinde fusion categories" Claudia Pinzari - Sapienza Università di Roma Abstract: Unitary modular fusion categories arise in various frameworks. After a general overview on unitarity, we discuss th

From playlist Actions of Tensor Categories on C*-algebras 2021

Video thumbnail

Uniqueness of Enhancements for Triangulated Categories - Dmitry Orlov

Dmitry Orlov Steklov Mathematical Institute, Moscow, Russia March 29, 2011 I am going to talk about triangulated categories in algebra, geometry and physics and about differential-graded (DG) enhancements of triangulated categories. I will discuss such properties of DG enhancements as uniq

From playlist Mathematics

Video thumbnail

Equivariantization and de-equivariantization - Shotaro Makisumi

Geometric and Modular Representation Theory Seminar Topic: Equivariantization and de-equivariantization Speaker: Shotaro Makisumi Affiliation: Columbia University; Member, School of Mathematics Date: February 10, 2021 For more video please visit http://video.ias.edu

From playlist Seminar on Geometric and Modular Representation Theory

Video thumbnail

David Ben-Zvi: Geometric Langlands correspondence and topological field theory - Part 2

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Algebraic and Complex Geometry

Video thumbnail

The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl

Vladimir Voevodsky Memorial Conference Topic: The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories Speaker: Emily Riehl Affiliation: Johns Hopkins University Date: September 12, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Jacob Lurie: A Riemann-Hilbert Correspondence in p-adic Geometry Part 2

At the start of the 20th century, David Hilbert asked which representations can arise by studying the monodromy of Fuchsian equations. This question was the starting point for a beautiful circle of ideas relating the topology of a complex algebraic variety X to the study of algebraic diffe

From playlist Felix Klein Lectures 2022

Related pages

Fundamental group | Quillen adjunction | Topological category | Simplicially enriched category | Globular set | Homotopy category | Kan fibration | Segal space | ∞-groupoid | Higher category theory | Simplicial set | Category theory | Category (mathematics) | Segal category | Model category