started adding a list of properties that single out oo-sheaves/topological localizations from others, in particular from their hypercompletion
]]>spelled out the converse proof: that every topological localization of oo-presheaves arises from an oo-Grothendieck topology
]]>polished and expanded (infinity,1)-category of (infinity,1)-sheaves
In particular I spelled out the proof that the full subcategory of (oo,1)-presheaves on (infinity,1)-sheaves is a left exact reflective sub-(oo,1)-category.
]]>