Flat functors in higher topos theory

Abstract: For a small

n

-category

m a t h s c r C

and an

n

-topos

m a t h s c r X

, we study necessary and sufficient conditions for a functor

f c o l o n m a t h s c r C o m a t h s c r X

to determine a geometric morphism from

m a t h s c r X

to the

n

-topos

m a t h c a l P (m a t h s c r C)_{n}

of presheaves on

m a t h s c r C

for any

n g e q 1

. These results generalize and unify results of Lurie for

n = i n f t y

and classical characterizations of flat functors (Diaconescu's theorem) for

n = 1

. Interestingly, for

n = i n f t y

, our analogue of Diaconescu's theorem requires hypercompleteness. As an application, we show that the

i n f t y

-topos associated to an

n

-site behaves as an

n

-localic

i n f t y

-topos with respect to hypercomplete

i n f t y

-topoi.

This page was built for publication: Flat functors in higher topos theory