nLab (n,1)-category

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

The special case of an (n,r)-category for r=1r = 1.

Definition

An (n,1)(n,1)-category, is an nn-category CC that is locally (n1)(n-1)-groupoidal; that is, for any objects xx and yy, the (n1)(n-1)-category C(x,y)C(x,y) is an (n1)(n-1)-groupoid.

Equivalently it is an (,1)(\infty,1)-category for which the mapping spaces are all (n1)(n-1)-truncated.

Special cases:

Extra stuff, structure, property

  • An (n,1)(n,1)-category with the analogous properties of a topos is an (n,1)-topos.

Examples

The canonical example of an (n+1,1)(n+1,1)-category is nGrpd.

References

In Section 11 of

the author describes a presentation of (n,1)(n,1)-categories by a left Bousfield localization of the model structure presenting complete Segal spaces.

Last revised on June 11, 2016 at 09:06:31. See the history of this page for a list of all contributions to it.