Exponentiable Higher Toposes

MaRDI QIDQ6298353zbMATH OpenFDO

Authors Mathieu Anel, Damien Lejay

Publication date 28 February 2018

Abstract: We characterise the class of exponentiable $infty$-toposes: $mathcalX$ is exponentiable if and only if $mathcalSmathrmh(mathcalX)$ is a continuous $infty$-category. The heart of the proof is the description of the $infty$-category of $mathcalC$-valued sheaves on $mathcalX$ as an $infty$-category of functors that satisfy finite limits conditions as well as filtered colimits conditions (instead of limits conditions purely); we call such functors $omega$-continuous sheaves. As an application, we show that when $mathcalX$ is exponentiable, its $infty$-category of stable sheaves $mathcalSmathrmh(mathcalX,mathrmSp)$ is a dualisable object in the $infty$-category of presentable stable $infty$-categories.

This page was built for publication: Exponentiable Higher Toposes

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