Quasi-category | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

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. An elaborate treatise of the theory of quasi-categories has been expounded by . 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 . 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. By definition, a quasi-category C is a simplicial set satisfying the inner Kan conditions (also called weak Kan condition): every inner horn in C, namely a map of simplicial sets where , has a filler, that is, an extension to a map . (See Kan fibration#Definitions for a definition of the simplicial sets and .

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (4)

Related concepts (7)

Related courses (8)

Related lectures (134)

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

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

MATH-688: Reading group in applied topology I

The subject of this reading group is Ginerstra Bianconi's book "Higher-order networks - an introduction to simplicial complexes". Participants will take turns presenting chapters, then leading a discu

Hopf algebras and Hopf-Galois extensions in infinity-categories

Aras Ergus

In this thesis, we study interactions between algebraic and coalgebraic structures in infinity-categories (more precisely, in the quasicategorical model of (infinity, 1)-categories). We define a notio

EPFL2022

Quasi-categories vs. Segal spaces: Cartesian edition

Nima Rasekh

We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: 1.On marked simplicial sets (due to Lurie [31]), 2.On bisimplicial spac

2021

The cotangent complex and Thom spectra

Nima Rasekh

The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of E-infinity-ring spectra in various

2021

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.

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.

From (Model) Categories to Quasicategories MATH-436: Homotopical algebra

Explores the relationship between categories and quasi-categories.

Homotopy Coherent Groups and Quasi-Categories MATH-436: Homotopical algebra

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

Examples of Quasicategories MATH-436: Homotopical algebra

Explores examples of quasicategories, focusing on Kan complexes and Nerves of categories.