On the Unicity of the Homotopy Theory of Higher Categories

Publication date 30 November 2011

Abstract: We axiomatise the theory of

(i n f t y, n)

-categories. We prove that the space of theories of

(i n f t y, n)

-categories is a

B (m a t h b b Z / 2)^{n}

. We prove that Rezk's complete Segal

T h e t a_{n}

-spaces, Simpson and Tamsamani's Segal

n

-categories, the first author's

n

-fold complete Segal spaces, Kan and the first author's

n

-relative categories, and complete Segal space objects in any model of

(i n f t y, n - 1)

-categories all satisfy our axioms. Consequently, these theories are all equivalent in a manner that is unique up to the action of

(m a t h b b Z / 2)^{n}

.

This page was built for publication: On the Unicity of the Homotopy Theory of Higher Categories