Okay, if I have the time to make the remark here, I can also make it in the Lab entry, I guess. So I added a sentence and a half to separated (infinity,1)-presheaf
]]>Yes, certainly. If all morphisms are -truncated morphisms, then is -separated. As you know. But I should not spend more time on this right now.
]]>Shouldn’t there be a notion of k-separated (n,1)-presheaf?
]]>and just for completeness: separated (infinity,1)-presheaf
]]>have created an entry separated (2,1)-presheaf
]]>