nLab (infinity,1)-category theory

Contents

Context

(,1)(\infty,1)-Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

In the pattern of (n,r)-categories the notion of (∞,1)-category is special in that it is precisely the structure that

This entry surveys the category theory of (,1)(\infty,1)-categories .

Basic notions

Universal constructions

The universal constructions of category theory generalize, with unique existence of universal morphisms replaced by the requirement of a contractible space of universal morphisms.

higher category theory

References

See the references at ( , 1 ) (\infty,1) -category.

Last revised on June 20, 2022 at 23:05:52. See the history of this page for a list of all contributions to it.