Quasi-categories and Kan complexes

Dedicated to Gregory Maxwell Kelly for his 70th birthday
https://doi.org/10.1016/S0022-4049(02)00135-4Get rights and content
Under an Elsevier user license
open archive

Abstract

A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is a groupoid. The result plays an important role in the theory of quasi-categories (in preparation). Here we make an application to the theory of initial objects in quasi-categories. We briefly discuss the notions of limits and colimits in quasi-categories.

Cited by (0)