Skip to main content

Higher para-toposes

Posted in
Speaker: 
André Joyal (Université du Québec, Montréal)
Datum: 
Mon, 18/01/2016 - 10:00 - 11:00
Location: 
MPIM Lecture Hall

A para-topos is a cartesian closed (locally) presentable category.
A higher para-topos is defined to be a cartesian closed (locally) presentable infty-category.
If E\mathcal{E} is a higher para-topos, then so is the \infty-category Cat(E)Cat(\mathcal{E}) of complete Segal spaces in E\mathcal{E}.
The construction ECat(E)\mathcal{E} \mapsto Cat(\mathcal{E}) can be iterated and it has fixed points.

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A