Skip to main content

Higher para-toposes

Posted in
Speaker: 
André Joyal (Université du Québec, Montréal)
Date: 
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 $\mathcal{E}$ is a higher para-topos, then so is the $\infty$-category $Cat(\mathcal{E})$ of complete Segal spaces in $\mathcal{E}$.
The construction $\mathcal{E} \mapsto Cat(\mathcal{E})$ can be iterated and it has fixed points.

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