MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Slices of infinity sheaves

I know from classical category theory that if $C$ is a small category and $X$ is a presheaf, that there is a canonical equivalence $$Set^{C^{op}}/X \simeq Set^{\left(C/X\right)^{op}},$$ where $C/X$ is the category of elements of $X$ (i.e. the Grothendieck construction of $X$). Moreover, if $C$ carries a Grothendieck topology, this statement is true for sheaves, where $C/X$ inherits a canonical topology from $C$.

Can I make a similar statement if I go to infinity sheaves, and if so, does anyone have a reference? Thanks. If someone knows a way of proving this model theoretically, that would also be nice.

-
 I should be careful about the wording "canonical topology", I don't mean anything about representables. – David Carchedi Mar 19 2011 at 2:25