A survey of (\infty, 1)-categories
Algebraic Topology
2007-05-23 v1 Category Theory
Abstract
In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories.
Cite
@article{arxiv.math/0610239,
title = {A survey of (\infty, 1)-categories},
author = {Julia E. Bergner},
journal= {arXiv preprint arXiv:math/0610239},
year = {2007}
}
Comments
13 pages, written for the proceedings of the IMA workshop on n-categories