let's consider homotopy-limit-preserving functors from _simplicial set_^op to _simplicial set_...

for example, when does a strictly representable functor have this property?

??is there a "stackification" issue here?? ...or something like that...