(infinity,1)-topos

A presentable $(\infty ,1)$-category that behaves like a category of sheaves of spaces.