Let U be a universe,
let V be a universe
greater than or equal to U,
and let W be a universe
strictly greater than W.
Then the presheaves
A(V),A∙(V):(Topos(1)(U))op→W
are sheaves.
Proof
A(V)
is a sheaf by [001H].
A∙(V)
is a sheaf because
coslicing commutes with limits.