Understanding higher structures through Quillen-Segal objects

Publication date 3 July 2014

Abstract: If

m a t h s c r M

is a model category and

m a t h c a l U : m a t h s c r A i g h t a r r o w m a t h s c r M

is a functor, we defined a Quillen-Segal

m a t h c a l U

-object as a weak equivalence

m a t h s c r F : s (m a t h s c r F) x r i g h t a r r o w s i m t (m a t h s c r F)

such that

t (m a t h s c r F) = m a t h c a l U (b)

for some

b i n m a t h s c r A

. If

m a t h c a l U

is the nerve functor

m a t h c a l U : m a t h b f C a t i g h t a r r o w m a t h b f {s S e t}_{J}

, with the Joyal model structure on

m a t h b f s S e t

, then studying the comma category

(m a t h b f {s S e t}_{J} d o w n a r r o w m a t h c a l U)

leads naturally to concepts, such as Lurie's

i n f t y

-operad. It also gives simple examples of presentable, stable

i n f t y

-category, and higher topos. If we consider the extit{coherent nerve}

m a t h c a l U : m a t h b f {s C a t}_{B} i g h t a r r o w m a t h b f {s S e t}_{J}

, then the theory of QS-objects directly connects with the program of Riehl and Verity. If we apply our main result when

m a t h c a l U

is the identity

I d : m a t h b f {s S e t}_{Q} i g h t a r r o w m a t h b f {s S e t}_{Q}

, with the Quillen model structure, the homotopy theory of QS-objects is equivalent to that of Kan complexes and we believe that this is an extit{avatar} of Voevodsky's extit{Univalence axiom}. This equivalence holds for any combinatorial and left proper

m a t h s c r M

. This result agrees with our intuition, since by essence the ` extit{Quillen-Segal type}' is the extit{Equivalence type}

This page was built for publication: Understanding higher structures through Quillen-Segal objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6252860)